K Framework Release v7.1.208 #1568

Job	Run time
K Ubuntu Jammy Package	31m 16s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 56s
Set Release ID	1s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 54s
Create source tarball	53s
K Ubuntu Noble Package	27m 46s
Build MacOS Package	31m 9s
Build Pyk Documentation	5m 7s
Test MacOS Package	3m 37s
Publish Release	15m 0s
Publish pyk	44s
Notify Dependents	6s
GitHub Pages deployment	9m 33s
	2h 25m 2s

Provide feedback