K Framework Release v7.1.128 #1486

Job	Run time
K Ubuntu Jammy Package	26m 52s
K Ubuntu Jammy Package	26m 52s
K Ubuntu Jammy Package	21m 55s
Create source tarball	38s
Create source tarball	38s
Create source tarball	36s
Set Release ID	1s
Set Release ID	1s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 47s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 47s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	7m 0s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 30s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 30s
k-framework-binary cachix release (MacM1, self-macos-12)	27s
Build MacOS Package	30m 39s
Build MacOS Package	30m 39s
Build MacOS Package	0s
Build Pyk Documentation	6m 41s
Build Pyk Documentation	6m 41s
Build Pyk Documentation	0s
Test MacOS Package	1m 4s
Test MacOS Package	50s
Test MacOS Package	0s
Publish Release	0s
Publish Release	0s
Publish Release	0s
Publish pyk	0s
Publish pyk	0s
Publish pyk	0s
Notify Dependents	0s
Notify Dependents	0s
Notify Dependents	0s
GitHub Pages deployment	0s
GitHub Pages deployment	0s
GitHub Pages deployment	0s
	3h 20m 9s

Provide feedback