K Framework Release v7.1.45 #1389

Job	Run time
Create source tarball	54s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 54s
K Ubuntu Jammy Package	35m 55s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 8s
Set Release ID	1s
Build MacOS Package	31m 9s
Test MacOS Package	3m 54s
Build Pyk Documentation	5m 18s
Publish Release	1m 7s
Publish pyk	42s
Notify Dependents	7s
GitHub Pages deployment	7m 40s
	1h 45m 49s

Provide feedback