K Framework Release v7.1.99 #1443

Job	Run time
Create source tarball	54s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 27s
Set Release ID	1s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 38s
K Ubuntu Jammy Package	20m 28s
Build MacOS Package	28m 49s
Build Pyk Documentation	5m 0s
Test MacOS Package	2m 56s
Publish Release	9m 57s
Publish pyk	46s
Notify Dependents	9s
GitHub Pages deployment	7m 55s
	1h 36m 0s

Provide feedback