K Framework Release v7.1.155 #1514

Job	Run time
Create source tarball	38s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 27s
Set Release ID	1s
k-framework-binary cachix release (MacM1, self-macos-12)	4m 58s
K Ubuntu Jammy Package	28m 46s
K Ubuntu Noble Package	36m 57s
Build MacOS Package	33m 53s
Build Pyk Documentation	4m 49s
Test MacOS Package	4m 5s
Publish Release	1m 12s
Publish pyk	55s
GitHub Pages deployment	7m 53s
Notify Dependents	7s
	2h 17m 41s

Provide feedback