K Framework Release v7.1.114 #1458

Job	Run time
K Ubuntu Jammy Package	28m 14s
Create source tarball	46s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 49s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 6s
Build MacOS Package	31m 15s
Build Pyk Documentation	5m 50s
Test MacOS Package	3m 21s
Publish Release	2m 15s
Publish pyk	41s
GitHub Pages deployment	7m 58s
Notify Dependents	6s
	1h 40m 22s

Provide feedback