K Framework Release v7.1.95 #1439

Job	Run time
Create source tarball	38s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 50s
K Ubuntu Jammy Package	29m 13s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 7s
Build MacOS Package	26m 6s
Test MacOS Package	3m 18s
Build Pyk Documentation	5m 8s
Publish Release	1m 16s
Publish pyk	45s
Notify Dependents	7s
GitHub Pages deployment	7m 59s
	1h 33m 28s

Provide feedback