K Framework Release v7.1.167 #1526

Job	Run time
Set Release ID	2s
Create source tarball	41s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 58s
K Ubuntu Jammy Package	17m 38s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 48s
K Ubuntu Noble Package	32m 24s
Build MacOS Package	31m 42s
Build Pyk Documentation	4m 20s
Test MacOS Package	4m 11s
Publish Release	19m 26s
Publish pyk	58s
GitHub Pages deployment	8m 17s
Notify Dependents	7s
	2h 20m 32s

Provide feedback