K Framework Release v7.1.193 #1553

Job	Run time
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 59s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 35s
Create source tarball	52s
K Ubuntu Jammy Package	28m 35s
Set Release ID	1s
K Ubuntu Noble Package	31m 56s
Build MacOS Package	28m 42s
Build Pyk Documentation	4m 57s
Test MacOS Package	3m 20s
Publish Release	3m 29s
Publish pyk	36s
GitHub Pages deployment	8m 28s
Notify Dependents	7s
	2h 12m 37s

Provide feedback