K Framework Release v7.1.74 #1418

Job	Run time
Set Release ID	1s
K Ubuntu Jammy Package	25m 42s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 54s
Create source tarball	40s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 31s
Build MacOS Package	28m 30s
Build Pyk Documentation	7m 0s
Test MacOS Package	4m 2s
Publish Release	2m 18s
Publish pyk	40s
GitHub Pages deployment	7m 48s
Notify Dependents	9s
	1h 35m 15s

Provide feedback