K Framework Release v7.1.185 #1545

Job	Run time
Create source tarball	40s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 47s
K Ubuntu Noble Package	5m 45s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 28s
Set Release ID	1s
K Ubuntu Jammy Package	22m 34s
Build MacOS Package	29m 17s
Build Pyk Documentation	4m 39s
Test MacOS Package	2m 55s
Publish Release	0s
Publish pyk	0s
GitHub Pages deployment	0s
Notify Dependents	0s
	1h 26m 6s

Provide feedback