K Framework Release v7.1.179 #1539

Job	Run time
Create source tarball	50s
K Ubuntu Jammy Package	25m 25s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 52s
K Ubuntu Noble Package	16m 44s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 6s
Set Release ID	1s
Build MacOS Package	29m 13s
Build Pyk Documentation	4m 24s
Test MacOS Package	2m 56s
Publish Release	59s
Publish pyk	30s
Notify Dependents	6s
GitHub Pages deployment	9m 21s
	1h 51m 27s

Provide feedback