K Framework Release v7.1.128 #1487

Job	Run time
Set Release ID	1s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	6m 53s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	6m 53s
k-framework-binary cachix release (MacM1, self-macos-12)	12s
k-framework-binary cachix release (MacM1, self-macos-12)	12s
K Ubuntu Jammy Package	26m 9s
K Ubuntu Jammy Package	26m 9s
Create source tarball	49s
Create source tarball	49s
Build MacOS Package	33m 58s
Build MacOS Package	33m 58s
Build Pyk Documentation	4m 7s
Build Pyk Documentation	4m 7s
Test MacOS Package	1m 9s
Test MacOS Package	1m 1s
Publish Release	0s
Publish Release	0s
Publish pyk	0s
Publish pyk	0s
Notify Dependents	0s
Notify Dependents	0s
GitHub Pages deployment	0s
GitHub Pages deployment	0s
	2h 26m 28s

Provide feedback