K Framework Release v7.1.107 #1451

Job	Run time
K Ubuntu Jammy Package	19m 45s
Create source tarball	54s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 6s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 29s
Build MacOS Package	33m 53s
Build Pyk Documentation	4m 58s
Test MacOS Package	2m 49s
Publish Release	1m 41s
Publish pyk	49s
Notify Dependents	8s
GitHub Pages deployment	7m 56s
	1h 32m 29s

Provide feedback