K Framework Release v7.1.158 #1517

Job	Run time
K Ubuntu Noble Package	23m 35s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 59s
Create source tarball	36s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 14s
K Ubuntu Jammy Package	16m 42s
Build MacOS Package	28m 4s
Build Pyk Documentation	4m 38s
Test MacOS Package	3m 14s
Publish Release	1m 2s
Publish pyk	54s
GitHub Pages deployment	8m 16s
Notify Dependents	8s
	1h 47m 23s

Provide feedback