K Framework Release v7.1.53 #1397

Job	Run time
Set Release ID	1s
Create source tarball	38s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 13s
K Ubuntu Jammy Package	22m 47s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 27s
Build MacOS Package	29m 15s
Build Pyk Documentation	5m 34s
Test MacOS Package	5m 0s
Publish Release	2m 6s
Publish pyk	43s
GitHub Pages deployment	8m 22s
Notify Dependents	6s
	1h 33m 12s

Provide feedback