K Framework Release v7.1.7 #1351

Job	Run time
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	15m 13s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	15m 13s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 2s
k-framework-binary cachix release (MacM1, self-macos-12)	5m 2s
Set Release ID	1s
Set Release ID	1s
K Ubuntu Jammy Package	22m 30s
K Ubuntu Jammy Package	22m 30s
Create source tarball	37s
Create source tarball	37s
Build MacOS Package	29m 10s
Build MacOS Package	29m 10s
Build Pyk Documentation	2m 29s
Build Pyk Documentation	2m 27s
Test MacOS Package	8m 36s
Test MacOS Package	8m 36s
Publish Release	8m 15s
Publish Release	8m 15s
GitHub Pages deployment	0s
GitHub Pages deployment	0s
	3h 3m 44s

Provide feedback