K Framework Release v7.1.111 #1455

Job	Run time
Create source tarball	40s
K Ubuntu Jammy Package	19m 50s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 52s
Set Release ID	1s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 24s
Build MacOS Package	30m 50s
Build Pyk Documentation	5m 31s
Test MacOS Package	3m 10s
Publish Release	1m 18s
Publish pyk	47s
Notify Dependents	7s
GitHub Pages deployment	7m 44s
	1h 29m 14s

Provide feedback