K Framework Release v7.1.121 #1465

Job	Run time
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 52s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 20s
Create source tarball	43s
Set Release ID	1s
K Ubuntu Jammy Package	21m 0s
Build MacOS Package	29m 31s
Build Pyk Documentation	4m 48s
Test MacOS Package	3m 7s
Publish Release	1m 5s
Publish pyk	49s
Notify Dependents	7s
GitHub Pages deployment	8m 0s
	1h 28m 23s

Provide feedback