K Framework Release v7.1.59 #1403

Job	Run time
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 36s
K Ubuntu Jammy Package	35m 38s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 9s
Create source tarball	50s
Build MacOS Package	29m 21s
Test MacOS Package	4m 11s
Build Pyk Documentation	5m 30s
Publish Release	1m 7s
Publish pyk	40s
Notify Dependents	5s
GitHub Pages deployment	7m 53s
	1h 44m 1s

Provide feedback