K Framework Release v7.1.94 #1438

Job	Run time
Create source tarball	43s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 11s
K Ubuntu Jammy Package	18m 23s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 17s
Build MacOS Package	30m 50s
Build Pyk Documentation	6m 0s
Test MacOS Package	3m 1s
Publish Release	2m 17s
Publish pyk	47s
Notify Dependents	7s
GitHub Pages deployment	7m 39s
	1h 28m 16s

Provide feedback