K Framework Release v7.1.112 #1456

Job	Run time
Create source tarball	43s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 57s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 59s
K Ubuntu Jammy Package	39m 13s
Build MacOS Package	35m 3s
Test MacOS Package	3m 45s
Build Pyk Documentation	6m 48s
Publish Release	1m 11s
Publish pyk	41s
Notify Dependents	7s
GitHub Pages deployment	8m 27s
	1h 55m 55s

Provide feedback