K Framework Release v7.1.76 #1420

Job	Run time
Set Release ID	1s
Create source tarball	37s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 14s
K Ubuntu Jammy Package	19m 54s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 36s
Build MacOS Package	31m 0s
Build Pyk Documentation	5m 49s
Test MacOS Package	9m 35s
Publish Release	2m 17s
Publish pyk	49s
Notify Dependents	7s
GitHub Pages deployment	7m 51s
	1h 36m 50s

Provide feedback