K Framework Release v7.1.124 #1482

Job	Run time
K Ubuntu Jammy Package	27m 20s
Create source tarball	50s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 59s
Set Release ID	1s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 56s
Build MacOS Package	31m 43s
Build Pyk Documentation	6m 3s
Test MacOS Package	3m 41s
Publish Release	2m 12s
Publish pyk	47s
GitHub Pages deployment	7m 48s
Notify Dependents	6s
	1h 39m 26s

Provide feedback