K Framework Release v7.1.163 #1522

Job	Run time
Set Release ID	1s
Create source tarball	37s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	15m 21s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 22s
K Ubuntu Jammy Package	25m 39s
K Ubuntu Noble Package	23m 22s
Build MacOS Package	30m 28s
Build Pyk Documentation	4m 17s
Test MacOS Package	3m 5s
Publish Release	58s
Publish pyk	58s
GitHub Pages deployment	8m 12s
Notify Dependents	10s
	1h 58m 30s

Provide feedback