K Framework Release v7.1.36 #1380

Job	Run time
K Ubuntu Jammy Package	20m 17s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 3s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 39s
Set Release ID	1s
Create source tarball	36s
Build MacOS Package	28m 24s
Build Pyk Documentation	4m 44s
Test MacOS Package	4m 41s
Publish Release	1m 4s
Publish pyk	43s
GitHub Pages deployment	8m 3s
Notify Dependents	6s
	1h 28m 21s

Provide feedback