K Framework Release v7.1.205 #1565

Job	Run time
K Ubuntu Noble Package	39m 51s
Create source tarball	37s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 3s
K Ubuntu Jammy Package	16m 47s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 27s
Build MacOS Package	29m 51s
Build Pyk Documentation	4m 51s
Test MacOS Package	3m 9s
Publish Release	1m 1s
Publish pyk	35s
Notify Dependents	7s
GitHub Pages deployment	7m 53s
	2h 4m 13s

Provide feedback