K Framework Release v7.1.177 #1537

Job	Run time
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	15m 3s
Create source tarball	51s
K Ubuntu Jammy Package	27m 13s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 38s
K Ubuntu Noble Package	30m 55s
Build MacOS Package	38m 1s
Build Pyk Documentation	4m 23s
Test MacOS Package	2m 39s
Publish Release	1m 6s
Publish pyk	35s
GitHub Pages deployment	8m 23s
Notify Dependents	6s
	2h 14m 54s

Provide feedback