K Framework Release v7.1.109 #1453

Job	Run time
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 39s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 59s
Create source tarball	44s
K Ubuntu Jammy Package	22m 49s
Set Release ID	1s
Build MacOS Package	26m 45s
Build Pyk Documentation	4m 48s
Test MacOS Package	4m 6s
Publish Release	1m 1s
Publish pyk	40s
GitHub Pages deployment	7m 34s
Notify Dependents	7s
	1h 28m 13s

Provide feedback