K Framework Release v7.1.145 #1504

Job	Run time
Set Release ID	1s
K Ubuntu Noble Package	32m 34s
Create source tarball	53s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	19m 33s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 12s
K Ubuntu Jammy Package	30m 27s
Build MacOS Package	26m 43s
Test MacOS Package	3m 25s
Build Pyk Documentation	6m 31s
Publish Release	1m 10s
Publish pyk	48s
Notify Dependents	7s
GitHub Pages deployment	8m 26s
	2h 15m 50s

Provide feedback