K Framework Release v7.1.195 #1555

Job	Run time
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 13s
Create source tarball	38s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 58s
K Ubuntu Jammy Package	25m 37s
Set Release ID	1s
K Ubuntu Noble Package	18m 56s
Build MacOS Package	29m 3s
Build Pyk Documentation	4m 17s
Test MacOS Package	3m 40s
Publish Release	1m 11s
Publish pyk	37s
Notify Dependents	7s
GitHub Pages deployment	11m 1s
	1h 54m 19s

Provide feedback