K Framework Release v7.1.29 #1373

Job	Run time
K Ubuntu Jammy Package	23m 33s
Set Release ID	1s
Create source tarball	45s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 36s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 5s
Build MacOS Package	34m 43s
Test MacOS Package	5m 12s
Build Pyk Documentation	4m 39s
Publish Release	1m 48s
Publish pyk	44s
GitHub Pages deployment	8m 10s
Notify Dependents	8s
	1h 39m 24s

Provide feedback