K Framework Release v7.1.57 #1401

Job	Run time
Set Release ID	1s
Create source tarball	39s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 53s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 5s
K Ubuntu Jammy Package	20m 28s
Build MacOS Package	27m 32s
Build Pyk Documentation	5m 13s
Test MacOS Package	4m 5s
Publish Release	14m 26s
Publish pyk	40s
Notify Dependents	8s
GitHub Pages deployment	7m 38s
	1h 39m 48s

Provide feedback