K Framework Release v7.1.108 #1452

Job	Run time
K Ubuntu Jammy Package	37m 8s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 50s
Set Release ID	1s
k-framework-binary cachix release (MacM1, self-macos-12)	6m 52s
Create source tarball	37s
Build MacOS Package	29m 27s
Test MacOS Package	3m 23s
Build Pyk Documentation	5m 34s
Publish Release	55s
Publish pyk	50s
Notify Dependents	7s
GitHub Pages deployment	7m 43s
	1h 45m 27s

Provide feedback