K Framework Release v7.1.102 #1446

Job	Run time
K Ubuntu Jammy Package	26m 46s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 24s
Create source tarball	42s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 37s
Build MacOS Package	28m 25s
Build Pyk Documentation	6m 10s
Test MacOS Package	2m 57s
Publish Release	2m 14s
Publish pyk	46s
GitHub Pages deployment	8m 1s
Notify Dependents	8s
	1h 35m 11s

Provide feedback