K Framework Release v7.1.35 #1379

Job	Run time
Set Release ID	1s
Create source tarball	37s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	15m 36s
K Ubuntu Jammy Package	23m 20s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 51s
Build MacOS Package	27m 21s
Build Pyk Documentation	4m 44s
Test MacOS Package	4m 6s
Publish Release	1m 9s
Publish pyk	44s
Notify Dependents	9s
GitHub Pages deployment	7m 48s
	1h 32m 26s

Provide feedback