K Framework Release v7.1.165 #1524

Job	Run time
Create source tarball	36s
K Ubuntu Jammy Package	26m 13s
Set Release ID	2s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 7s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 47s
K Ubuntu Noble Package	31m 46s
Build MacOS Package	37m 43s
Build Pyk Documentation	4m 18s
Test MacOS Package	3m 5s
Publish Release	1m 13s
Publish pyk	54s
GitHub Pages deployment	8m 42s
Notify Dependents	7s
	2h 14m 33s

Provide feedback