K Framework Release v7.1.117 #1461

Job	Run time
Set Release ID	1s
Create source tarball	37s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 21s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 17s
K Ubuntu Jammy Package	18m 14s
Build MacOS Package	31m 9s
Build Pyk Documentation	5m 26s
Test MacOS Package	4m 14s
Publish Release	2m 13s
Publish pyk	45s
GitHub Pages deployment	7m 57s
Notify Dependents	8s
	1h 29m 22s

Provide feedback