K Framework Release v7.1.55 #1399

Job	Run time
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 28s
Set Release ID	1s
Create source tarball	40s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 10s
K Ubuntu Jammy Package	25m 53s
Build MacOS Package	30m 4s
Build Pyk Documentation	4m 22s
Test MacOS Package	4m 18s
Publish Release	14m 2s
Publish pyk	41s
GitHub Pages deployment	8m 3s
Notify Dependents	9s
	1h 46m 51s

Provide feedback