K Framework Release v7.1.174 #1533

Job	Run time
Create source tarball	1m 0s
K Ubuntu Jammy Package	22m 55s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	15m 49s
K Ubuntu Noble Package	38m 46s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 31s
Build MacOS Package	31m 13s
Build Pyk Documentation	6m 31s
Test MacOS Package	2m 24s
Publish Release	0s
Publish pyk	0s
Notify Dependents	0s
GitHub Pages deployment	0s
	2h 4m 10s

Provide feedback