K Framework Release v7.1.203 #1563

Job	Run time
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 31s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 28s
Set Release ID	1s
K Ubuntu Jammy Package	26m 38s
Create source tarball	35s
K Ubuntu Noble Package	30m 14s
Build MacOS Package	32m 22s
Build Pyk Documentation	4m 28s
Test MacOS Package	2m 44s
Publish Release	1m 13s
Publish pyk	37s
Notify Dependents	7s
GitHub Pages deployment	8m 27s
	2h 7m 25s

Provide feedback