K Framework Release v7.1.62 #1406

Job	Run time
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 56s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 29s
Set Release ID	1s
Create source tarball	36s
K Ubuntu Jammy Package	27m 1s
Build MacOS Package	28m 18s
Build Pyk Documentation	6m 2s
Test MacOS Package	4m 12s
Publish Release	2m 15s
Publish pyk	42s
GitHub Pages deployment	7m 58s
Notify Dependents	7s
	1h 35m 37s

Provide feedback