K Framework Release v7.1.88 #1432

Job	Run time
Create source tarball	40s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 46s
K Ubuntu Jammy Package	20m 28s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 27s
Build MacOS Package	30m 17s
Build Pyk Documentation	4m 38s
Test MacOS Package	3m 32s
Publish Release	2m 15s
Publish pyk	46s
Notify Dependents	6s
GitHub Pages deployment	7m 48s
	1h 28m 44s

Provide feedback