K Framework Release v7.1.191 #1551

Job	Run time
Set Release ID	1s
Create source tarball	43s
K Ubuntu Jammy Package	24m 29s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 23s
K Ubuntu Noble Package	36m 45s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 56s
Build MacOS Package	33m 37s
Build Pyk Documentation	4m 30s
Test MacOS Package	3m 52s
Publish Release	1m 8s
Publish pyk	47s
GitHub Pages deployment	8m 45s
Notify Dependents	7s
	2h 14m 3s

Provide feedback