K Framework Release v7.1.149 #1508

Job	Run time
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 0s
Create source tarball	50s
K Ubuntu Noble Package	40m 6s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 35s
K Ubuntu Jammy Package	27m 42s
Build MacOS Package	31m 24s
Build Pyk Documentation	4m 14s
Test MacOS Package	2m 58s
Publish Release	19m 43s
Publish pyk	54s
Notify Dependents	7s
GitHub Pages deployment	7m 55s
	2h 34m 29s

Provide feedback