K Framework Release v7.1.161 #1520

Job	Run time
Create source tarball	40s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	4m 48s
k-framework-binary cachix release (MacM1, self-macos-12)	4m 43s
K Ubuntu Jammy Package	18m 27s
K Ubuntu Noble Package	37m 15s
Build MacOS Package	29m 10s
Build Pyk Documentation	4m 49s
Test MacOS Package	3m 6s
Publish Release	0s
Publish pyk	0s
Notify Dependents	0s
GitHub Pages deployment	0s
	1h 42m 59s

Provide feedback