K Framework Release v7.1.105 #1449

Job	Run time
Create source tarball	36s
K Ubuntu Jammy Package	30m 56s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	15m 4s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 5s
Build MacOS Package	29m 16s
Test MacOS Package	3m 18s
Build Pyk Documentation	4m 15s
Publish Release	1m 8s
Publish pyk	45s
Notify Dependents	9s
GitHub Pages deployment	7m 34s
	1h 38m 7s

Provide feedback