K Framework Release v7.1.24 #1368

Job	Run time
Create source tarball	37s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	15m 51s
K Ubuntu Jammy Package	21m 32s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 56s
Set Release ID	1s
Build MacOS Package	28m 27s
Build Pyk Documentation	4m 28s
Test MacOS Package	3m 42s
Publish Release	1m 21s
Publish pyk	46s
GitHub Pages deployment	7m 40s
Notify Dependents	9s
	1h 30m 30s

Provide feedback