K Framework Release v7.1.65 #1409

Job	Run time
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 3s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 31s
K Ubuntu Jammy Package	31m 39s
Create source tarball	49s
Build MacOS Package	28m 16s
Test MacOS Package	4m 2s
Build Pyk Documentation	4m 47s
Publish Release	59s
Publish pyk	1m 7s
Notify Dependents	8s
GitHub Pages deployment	12m 5s
	1h 42m 27s

Provide feedback