K Framework Release v7.1.122 #1476

Job	Run time
Set Release ID	1s
K Ubuntu Jammy Package	18m 35s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 34s
Create source tarball	37s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 35s
Build MacOS Package	30m 55s
Build Pyk Documentation	6m 42s
Test MacOS Package	3m 41s
Publish Release	2m 13s
Publish pyk	40s
GitHub Pages deployment	7m 52s
Notify Dependents	9s
	1h 30m 34s

Provide feedback