K Framework Release v7.1.80 #1424

Job	Run time
Create source tarball	49s
Set Release ID	1s
K Ubuntu Jammy Package	38m 17s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	15m 50s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 15s
Build MacOS Package	28m 54s
Test MacOS Package	3m 47s
Build Pyk Documentation	5m 3s
Publish Release	10m 12s
Publish pyk	52s
Notify Dependents	7s
GitHub Pages deployment	7m 49s
	1h 56m 56s

Provide feedback