K Framework Release v7.1.150 #1509

Job	Run time
Set Release ID	1s
K Ubuntu Jammy Package	26m 17s
Create source tarball	44s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 10s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 28s
K Ubuntu Noble Package	34m 52s
Build MacOS Package	29m 51s
Build Pyk Documentation	4m 36s
Test MacOS Package	4m 14s
Publish Release	2m 12s
Publish pyk	52s
GitHub Pages deployment	8m 48s
Notify Dependents	7s
	2h 12m 12s

Provide feedback