K Framework Release v7.1.56 #1400

Job	Run time
Create source tarball	48s
K Ubuntu Jammy Package	24m 6s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 25s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 35s
Build MacOS Package	28m 13s
Build Pyk Documentation	5m 57s
Test MacOS Package	4m 17s
Publish Release	1m 0s
Publish pyk	43s
Notify Dependents	7s
GitHub Pages deployment	7m 46s
	1h 31m 58s

Provide feedback