K Framework Release v7.1.201 #1561

Job	Run time
Create source tarball	39s
K Ubuntu Jammy Package	23m 25s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 40s
K Ubuntu Noble Package	40m 26s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 7s
Set Release ID	1s
Build MacOS Package	33m 53s
Build Pyk Documentation	4m 28s
Test MacOS Package	2m 34s
Publish Release	1m 11s
Publish pyk	36s
Notify Dependents	6s
GitHub Pages deployment	7m 52s
	2h 13m 58s

Provide feedback