K Framework Release v7.1.84 #1428

Job	Run time
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	14m 16s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 19s
Create source tarball	49s
K Ubuntu Jammy Package	21m 32s
Build MacOS Package	33m 28s
Build Pyk Documentation	6m 8s
Test MacOS Package	3m 24s
Publish Release	2m 16s
Publish pyk	41s
Notify Dependents	7s
GitHub Pages deployment	7m 45s
	1h 35m 46s

Provide feedback