K Framework Release v7.1.72 #1416

Job	Run time
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 28s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 25s
Create source tarball	35s
K Ubuntu Jammy Package	26m 39s
Set Release ID	1s
Build MacOS Package	28m 28s
Build Pyk Documentation	4m 14s
Test MacOS Package	3m 27s
Publish Release	1m 34s
Publish pyk	44s
Notify Dependents	8s
GitHub Pages deployment	7m 54s
	1h 32m 37s

Provide feedback