K Framework Release v7.1.60 #1404

Job	Run time
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 52s
Create source tarball	37s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 23s
Set Release ID	1s
K Ubuntu Jammy Package	26m 22s
Build MacOS Package	28m 52s
Build Pyk Documentation	6m 3s
Test MacOS Package	3m 53s
Publish Release	2m 10s
Publish pyk	44s
GitHub Pages deployment	7m 59s
Notify Dependents	8s
	1h 36m 4s

Provide feedback