K Framework Release v7.1.69 #1413

Job	Run time
K Ubuntu Jammy Package	21m 44s
Create source tarball	37s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 41s
k-framework-binary cachix release (MacM1, self-macos-12)	4m 26s
Build MacOS Package	30m 55s
Build Pyk Documentation	5m 14s
Test MacOS Package	3m 38s
Publish Release	1m 2s
Publish pyk	41s
GitHub Pages deployment	7m 41s
Notify Dependents	9s
	1h 29m 49s

Provide feedback