K Framework Release v7.1.96 #1440

Job	Run time
Create source tarball	39s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 37s
K Ubuntu Jammy Package	23m 30s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 27s
Build MacOS Package	30m 12s
Build Pyk Documentation	4m 3s
Test MacOS Package	3m 5s
Publish Release	1m 50s
Publish pyk	53s
GitHub Pages deployment	7m 35s
Notify Dependents	9s
	1h 30m 1s

Provide feedback