K Framework Release v7.1.188 #1548

Job	Run time
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	6m 23s
Create source tarball	42s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 18s
K Ubuntu Noble Package	39m 18s
K Ubuntu Jammy Package	19m 59s
Build MacOS Package	36m 28s
Build Pyk Documentation	4m 19s
Test MacOS Package	3m 14s
Publish Release	0s
Publish pyk	0s
Notify Dependents	0s
GitHub Pages deployment	0s
	1h 56m 42s

Provide feedback