K Framework Release v7.1.89 #1433

Job	Run time
Set Release ID	2s
Create source tarball	43s
K Ubuntu Jammy Package	26m 22s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 12s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 39s
Build MacOS Package	29m 36s
Build Pyk Documentation	5m 7s
Test MacOS Package	3m 25s
Publish Release	1m 13s
Publish pyk	40s
Notify Dependents	7s
GitHub Pages deployment	8m 10s
	1h 34m 16s

Provide feedback