K Framework Release v7.1.170 #1529

Job	Run time
Create source tarball	39s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	1h 9m 12s
K Ubuntu Jammy Package	26m 36s
Set Release ID	1s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 18s
K Ubuntu Noble Package	25m 25s
Build MacOS Package	32m 30s
Build Pyk Documentation	4m 39s
Test MacOS Package	3m 27s
Publish Release	58s
Publish pyk	50s
GitHub Pages deployment	8m 21s
Notify Dependents	9s
	2h 59m 5s

Provide feedback