K Framework Release v7.1.160 #1519

Job	Run time
Set Release ID	1s
Create source tarball	46s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	15m 5s
K Ubuntu Jammy Package	39m 19s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 26s
K Ubuntu Noble Package	25m 48s
Build MacOS Package	28m 48s
Test MacOS Package	3m 2s
Publish Release	3m 3s
Build Pyk Documentation	5m 9s
Publish pyk	50s
Notify Dependents	8s
GitHub Pages deployment	8m 49s
	2h 16m 14s

Provide feedback