K Framework Release v7.1.54 #1398

Job	Run time
Set Release ID	1s
K Ubuntu Jammy Package	25m 31s
Create source tarball	41s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 24s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 23s
Build MacOS Package	28m 45s
Build Pyk Documentation	4m 24s
Test MacOS Package	3m 53s
Publish Release	1m 50s
Publish pyk	48s
GitHub Pages deployment	7m 38s
Notify Dependents	7s
	1h 32m 25s

Provide feedback