K Framework Release v7.1.118 #1462

Job	Run time
K Ubuntu Jammy Package	19m 38s
Create source tarball	52s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	15m 25s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 26s
Build MacOS Package	30m 14s
Build Pyk Documentation	5m 47s
Test MacOS Package	3m 40s
Publish Release	2m 5s
Publish pyk	48s
Notify Dependents	8s
GitHub Pages deployment	8m 25s
	1h 32m 29s

Provide feedback