K Framework Release v7.1.181 #1541

Job	Run time
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	16m 46s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 8s
Set Release ID	1s
Create source tarball	52s
K Ubuntu Jammy Package	26m 20s
K Ubuntu Noble Package	31m 22s
Build MacOS Package	34m 45s
Build Pyk Documentation	4m 13s
Test MacOS Package	3m 4s
Publish Release	1m 18s
Publish pyk	34s
Notify Dependents	9s
GitHub Pages deployment	8m 6s
	2h 13m 38s

Provide feedback