K Framework Release v7.1.43 #1387

Job	Run time
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 56s
Create source tarball	37s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 33s
K Ubuntu Jammy Package	20m 1s
Build MacOS Package	27m 43s
Build Pyk Documentation	4m 27s
Test MacOS Package	3m 55s
Publish Release	1m 0s
Publish pyk	46s
GitHub Pages deployment	7m 47s
Notify Dependents	7s
	1h 24m 53s

Provide feedback