K Framework Release v7.1.79 #1423

Job	Run time
Create source tarball	37s
K Ubuntu Jammy Package	26m 27s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 25s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 5s
Build MacOS Package	30m 2s
Build Pyk Documentation	4m 14s
Test MacOS Package	4m 41s
Publish Release	1m 32s
Publish pyk	43s
Notify Dependents	7s
GitHub Pages deployment	7m 48s
	1h 35m 42s

Provide feedback