K Framework Release v7.1.180 #1540

Job	Run time
K Ubuntu Jammy Package	25m 27s
Create source tarball	36s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 20s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 28s
K Ubuntu Noble Package	16m 7s
Build MacOS Package	26m 32s
Build Pyk Documentation	4m 10s
Test MacOS Package	3m 41s
Publish Release	1m 1s
Publish pyk	38s
GitHub Pages deployment	8m 41s
Notify Dependents	7s
	1h 45m 49s

Provide feedback