K Framework Release v7.1.63 #1407

Job	Run time
K Ubuntu Jammy Package	37m 20s
Set Release ID	1s
Create source tarball	37s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 30s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 47s
Build MacOS Package	28m 16s
Test MacOS Package	3m 35s
Build Pyk Documentation	6m 14s
Publish Release	1m 11s
Publish pyk	45s
Notify Dependents	5s
GitHub Pages deployment	7m 41s
	1h 44m 2s

Provide feedback