K Framework Release v7.1.40 #1384

Job	Run time
Create source tarball	43s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 46s
Set Release ID	1s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 26s
K Ubuntu Jammy Package	21m 33s
Build MacOS Package	26m 54s
Build Pyk Documentation	5m 9s
Test MacOS Package	5m 2s
Publish Release	1m 10s
Publish pyk	50s
GitHub Pages deployment	7m 43s
Notify Dependents	9s
	1h 29m 26s

Provide feedback