K Framework Release v7.1.22 #1366

Job	Run time
Create source tarball	51s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 22s
Set Release ID	1s
K Ubuntu Jammy Package	31m 14s
k-framework-binary cachix release (MacM1, self-macos-12)	18m 33s
Build MacOS Package	27m 58s
Test MacOS Package	3m 24s
Build Pyk Documentation	6m 36s
Publish Release	34m 47s
Publish pyk	41s
GitHub Pages deployment	8m 12s
Notify Dependents	6s
	2h 26m 45s

Provide feedback