K Framework Release v7.1.176 #1536

Job	Run time
Create source tarball	58s
Create source tarball	39s
Set Release ID	1s
Set Release ID	1s
K Ubuntu Jammy Package	22m 16s
K Ubuntu Jammy Package	36m 52s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	18m 55s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	9m 53s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 20s
k-framework-binary cachix release (MacM1, self-macos-12)	2m 38s
K Ubuntu Noble Package	23m 46s
K Ubuntu Noble Package	13m 1s
Build MacOS Package	12m 4s
Build MacOS Package	0s
Test MacOS Package	0s
Test MacOS Package	0s
Build Pyk Documentation	0s
Build Pyk Documentation	0s
Publish Release	0s
Publish Release	0s
Publish pyk	0s
Publish pyk	0s
GitHub Pages deployment	0s
GitHub Pages deployment	0s
Notify Dependents	0s
Notify Dependents	0s
	2h 27m 24s

Provide feedback