K Framework Release v7.1.66 #1410

Job	Run time
Create source tarball	39s
K Ubuntu Jammy Package	30m 22s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 23s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 26s
Set Release ID	1s
Build MacOS Package	30m 11s
Build Pyk Documentation	5m 10s
Test MacOS Package	4m 38s
Publish Release	56s
Publish pyk	1m 22s
GitHub Pages deployment	8m 9s
Notify Dependents	8s
	1h 40m 25s

Provide feedback