K Framework Release v7.1.51 #1395

Job	Run time
Set Release ID	3s
Create source tarball	54s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 52s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 17s
K Ubuntu Jammy Package	22m 59s
Build MacOS Package	26m 40s
Test MacOS Package	3m 51s
Build Pyk Documentation	5m 13s
Publish Release	1m 9s
Publish pyk	1m 2s
Notify Dependents	10s
GitHub Pages deployment	8m 32s
	1h 28m 42s

Provide feedback