K Framework Release v7.1.183 #1543

Job	Run time
Create source tarball	35s
K Ubuntu Jammy Package	28m 11s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 45s
Set Release ID	1s
k-framework-binary cachix release (MacM1, self-macos-12)	11m 14s
K Ubuntu Noble Package	33m 18s
Build MacOS Package	33m 15s
Build Pyk Documentation	4m 43s
Test MacOS Package	4m 41s
Publish Release	1m 30s
Publish pyk	1m 9s
GitHub Pages deployment	8m 42s
Notify Dependents	6s
	2h 22m 10s

Provide feedback