K Framework Release v7.1.68 #1412

Job	Run time
Create source tarball	49s
K Ubuntu Jammy Package	20m 6s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 52s
Set Release ID	1s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 24s
Build MacOS Package	28m 56s
Build Pyk Documentation	6m 11s
Test MacOS Package	3m 55s
Publish Release	15m 26s
Publish pyk	45s
Notify Dependents	7s
GitHub Pages deployment	7m 44s
	1h 42m 16s

Provide feedback