K Framework Release v7.1.182 #1542

Job	Run time
Set Release ID	1s
Create source tarball	37s
K Ubuntu Noble Package	27m 15s
K Ubuntu Jammy Package	25m 43s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	19m 17s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 45s
Build MacOS Package	34m 7s
Build Pyk Documentation	4m 13s
Test MacOS Package	3m 9s
Publish Release	1m 1s
Publish pyk	31s
GitHub Pages deployment	7m 44s
Notify Dependents	5s
	2h 9m 28s

Provide feedback