K Framework Release v7.1.106 #1450

Job	Run time
Create source tarball	51s
K Ubuntu Jammy Package	33m 55s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 26s
k-framework-binary cachix release (MacM1, self-macos-12)	18m 11s
Build MacOS Package	31m 3s
Test MacOS Package	3m 34s
Build Pyk Documentation	6m 20s
Publish Release	12m 57s
Publish pyk	47s
Notify Dependents	7s
GitHub Pages deployment	7m 58s
	2h 9m 10s

Provide feedback