Skip to content
Release

K Framework Release v7.1.314 #1688

Sign in to view logs

K Framework Release v7.1.314

K Framework Release v7.1.314 #1688

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Set Release ID
3s
k-framework cachix release (ubuntu-24.04, ubuntu-24.04)
10m 54s
Create source tarball
42s
k-framework cachix release (macos-latest, macos-15)
19m 47s
k-framework-binary cachix release (macos-latest, macos-15)
19m 4s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)
10m 49s
Pyk: Build Python wheel
14s
K Ubuntu Noble Package
33m 59s
K Ubuntu Jammy Package
6m 23s
Build MacOS Package
43m 2s
Build Pyk Documentation
0s
Publish Release
0s
GitHub Pages deployment
0s
Notify Dependents
0s
Publish pyk
-1s
Test MacOS Package
1m 2s
k-framework-binary cachix release (macos-latest, macos-15)
6m 3s
Create source tarball
45s
Pyk: Build Python wheel
16s
Set Release ID
4s
k-framework cachix release (ubuntu-24.04, ubuntu-24.04)
3m 52s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)
5m 53s
k-framework cachix release (macos-latest, macos-15)
8m 13s
K Ubuntu Noble Package
8m 10s
K Ubuntu Jammy Package
8m 9s
Build MacOS Package
7m 34s
Test MacOS Package
1s
Build Pyk Documentation
1s
Publish Release
1s
Notify Dependents
1s
GitHub Pages deployment
1s
Publish pyk
1s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)
5m 49s
Set Release ID
3s
Create source tarball
43s
Pyk: Build Python wheel
15s
k-framework cachix release (macos-latest, macos-15)
9m 17s
k-framework cachix release (ubuntu-24.04, ubuntu-24.04)
3m 40s
k-framework-binary cachix release (macos-latest, macos-15)
6m 0s
K Ubuntu Noble Package
47m 18s
K Ubuntu Jammy Package
43m 10s
Build MacOS Package
42m 38s
Test MacOS Package
1m 22s
Build Pyk Documentation
4m 11s
Publish pyk
-1s
Publish Release
-1s
Notify Dependents
-1s
GitHub Pages deployment
0s
5h 59m 26s