K Framework Release v7.1.172 #1531

Job	Run time
Set Release ID	1s
K Ubuntu Jammy Package	25m 39s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 31s
Create source tarball	37s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 22s
K Ubuntu Noble Package	31m 30s
Build MacOS Package	30m 30s
Build Pyk Documentation	4m 30s
Test MacOS Package	2m 7s
Publish Release	0s
Publish pyk	0s
Notify Dependents	0s
GitHub Pages deployment	0s
	1h 54m 47s

Provide feedback