K Framework Release v7.1.70 #1414

Job	Run time
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	13m 0s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 32s
K Ubuntu Jammy Package	24m 21s
Set Release ID	1s
Create source tarball	35s
Build MacOS Package	28m 37s
Build Pyk Documentation	4m 53s
Test MacOS Package	3m 56s
Publish Release	1m 0s
Publish pyk	40s
Notify Dependents	6s
GitHub Pages deployment	7m 52s
	1h 30m 33s

Provide feedback