K Framework Release v7.1.49 #1393

Job	Run time
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 47s
Set Release ID	1s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 24s
Create source tarball	47s
K Ubuntu Jammy Package	26m 25s
Build MacOS Package	33m 41s
Build Pyk Documentation	4m 44s
Test MacOS Package	4m 56s
Publish Release	21m 55s
Publish pyk	49s
GitHub Pages deployment	8m 54s
Notify Dependents	7s
	2h 0m 30s

Provide feedback