K Framework Release v7.1.164 #1523

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

Provide feedback