K Framework Release v7.1.313 #1687

Job	Run time
k-framework cachix release (macos-latest, macos-15)	42m 21s
k-framework-binary cachix release (macos-latest, macos-15)	40m 5s
k-framework cachix release (ubuntu-24.04, ubuntu-24.04)	13m 3s
Create source tarball	39s
Pyk: Build Python wheel	12s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 34s
Set Release ID	3s
K Ubuntu Jammy Package	50m 6s
K Ubuntu Noble Package	32m 15s
Build MacOS Package	1h 5m 12s
Publish Release	1m 20s
Build Pyk Documentation	5m 58s
Publish pyk	31s
Notify Dependents	9s
GitHub Pages deployment	8m 4s
Test MacOS Package	1m 7s
Test MacOS Package	1m 3s
Pyk: Build Python wheel	12s
k-framework-binary cachix release (macos-latest, macos-15)	40m 5s
Build MacOS Package	1h 5m 12s
Build Pyk Documentation	5m 58s
K Ubuntu Jammy Package	50m 6s
Publish Release	1m 20s
K Ubuntu Noble Package	32m 15s
Publish pyk	31s
Notify Dependents	9s
GitHub Pages deployment	8m 4s
Set Release ID	3s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 34s
k-framework cachix release (macos-latest, macos-15)	42m 21s
k-framework cachix release (ubuntu-24.04, ubuntu-24.04)	13m 3s
Create source tarball	39s
	9h 7m 14s

Provide feedback