K Framework Release v7.1.23 #1367

Job	Run time
Set Release ID	1s
Create source tarball	38s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 31s
K Ubuntu Jammy Package	16m 21s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 22s
Build MacOS Package	26m 23s
Build Pyk Documentation	5m 0s
Test MacOS Package	3m 33s
Publish Release	1m 15s
Publish pyk	45s
GitHub Pages deployment	8m 0s
Notify Dependents	10s
	1h 20m 59s

Provide feedback