K Framework Release v7.1.171 #1530

Job	Run time
Create source tarball	41s
K Ubuntu Jammy Package	26m 16s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	17m 33s
K Ubuntu Noble Package	26m 55s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 38s
Build MacOS Package	26m 4s
Build Pyk Documentation	4m 20s
Test MacOS Package	2m 5s
Publish Release	0s
Publish pyk	0s
Notify Dependents	0s
GitHub Pages deployment	0s
	1h 50m 33s

Provide feedback