K Framework Release v7.1.173 #1532

Job	Run time
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	16m 1s
Set Release ID	1s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 32s
Create source tarball	48s
K Ubuntu Jammy Package	25m 41s
K Ubuntu Noble Package	30m 27s
Build MacOS Package	30m 55s
Build Pyk Documentation	4m 33s
Test MacOS Package	2m 51s
Publish Release	1m 14s
Publish pyk	33s
Notify Dependents	7s
GitHub Pages deployment	12m 24s
	2h 11m 7s

Provide feedback