K Framework Release v7.1.198 #1558

Job	Run time
K Ubuntu Noble Package	30m 48s
Create source tarball	46s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	19m 32s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 31s
K Ubuntu Jammy Package	25m 1s
Build MacOS Package	30m 27s
Build Pyk Documentation	4m 44s
Test MacOS Package	2m 38s
Publish Release	54s
Publish pyk	37s
Notify Dependents	6s
GitHub Pages deployment	9m 31s
	2h 10m 36s

Provide feedback