K Framework Release v7.1.175 #1535

Job	Run time
Create source tarball	50s
Create source tarball	50s
Set Release ID	1s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	16m 36s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	16m 36s
K Ubuntu Noble Package	13m 14s
K Ubuntu Noble Package	13m 14s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 29s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 29s
K Ubuntu Jammy Package	13m 54s
K Ubuntu Jammy Package	2m 32s
Build MacOS Package	11m 47s
Build MacOS Package	1m 40s
Test MacOS Package	0s
Test MacOS Package	0s
Build Pyk Documentation	0s
Build Pyk Documentation	1s
Publish Release	0s
Publish Release	1s
Publish pyk	0s
Publish pyk	1s
Notify Dependents	0s
Notify Dependents	1s
GitHub Pages deployment	0s
GitHub Pages deployment	1s
	1h 42m 18s

Provide feedback