K Framework Release v7.1.146 #1505

Job	Run time
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	15m 8s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 23s
K Ubuntu Jammy Package	18m 53s
K Ubuntu Noble Package	31m 45s
Create source tarball	53s
Build MacOS Package	31m 50s
Build Pyk Documentation	5m 30s
Test MacOS Package	3m 51s
Publish Release	1m 49s
Publish pyk	54s
GitHub Pages deployment	8m 1s
Notify Dependents	9s
	2h 4m 7s

Provide feedback