K Framework Release v7.1.184 #1544

Job	Run time
K Ubuntu Noble Package	16m 12s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 29s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 11s
Set Release ID	1s
Create source tarball	41s
K Ubuntu Jammy Package	18m 14s
Build MacOS Package	34m 43s
Build Pyk Documentation	5m 17s
Test MacOS Package	2m 53s
Publish Release	1m 2s
Publish pyk	34s
Notify Dependents	10s
GitHub Pages deployment	8m 20s
	1h 47m 47s

Provide feedback