K Framework Release v7.1.126 #1484

Job	Run time
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 33s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 24s
Create source tarball	51s
K Ubuntu Jammy Package	21m 10s
Build MacOS Package	29m 10s
Build Pyk Documentation	6m 13s
Test MacOS Package	3m 12s
Publish Release	2m 12s
Publish pyk	53s
Notify Dependents	7s
GitHub Pages deployment	7m 19s
	1h 31m 5s

Provide feedback