K Framework Release v7.1.186 #1546

Job	Run time
Create source tarball	49s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	15m 31s
Set Release ID	1s
K Ubuntu Jammy Package	27m 18s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 23s
K Ubuntu Noble Package	31m 51s
Build MacOS Package	32m 23s
Build Pyk Documentation	4m 38s
Test MacOS Package	3m 1s
Publish Release	1m 15s
Publish pyk	37s
Notify Dependents	7s
GitHub Pages deployment	8m 31s
	2h 11m 25s

Provide feedback