K Framework Release v7.1.194 #1554

Job	Run time
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 55s
Create source tarball	40s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 59s
K Ubuntu Jammy Package	27m 55s
K Ubuntu Noble Package	32m 20s
Build MacOS Package	27m 30s
Build Pyk Documentation	4m 53s
Test MacOS Package	2m 36s
Publish Release	55s
Publish pyk	34s
GitHub Pages deployment	8m 33s
Notify Dependents	8s
	2h 5m 59s

Provide feedback