K Framework Release v7.0.129 #1340

Job	Run time
Set Release ID	1s
Set Release ID	1s
Create source tarball	51s
Create source tarball	51s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 7s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 7s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 18s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 18s
K Ubuntu Jammy Package	20m 48s
K Ubuntu Jammy Package	20m 48s
Build MacOS Package	30m 59s
Build MacOS Package	30m 59s
Build Pyk Documentation	3m 57s
Build Pyk Documentation	6m 55s
Test MacOS Package	3m 50s
Test MacOS Package	3m 50s
Publish Release	10m 40s
Publish Release	10m 40s
GitHub Pages deployment	0s
GitHub Pages deployment	8m 50s
	3h 10m 50s

Provide feedback