K Framework Release v7.1.93 #1437

Job	Run time
Create source tarball	37s
K Ubuntu Jammy Package	25m 48s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 45s
Set Release ID	1s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 10s
Build MacOS Package	29m 49s
Build Pyk Documentation	4m 38s
Test MacOS Package	3m 21s
Publish Release	14m 48s
Publish pyk	42s
GitHub Pages deployment	7m 57s
Notify Dependents	7s
	1h 47m 43s

Provide feedback