Skip to content
Release

K Framework Release v6.1.23 #973

Sign in to view logs

K Framework Release v6.1.23

K Framework Release v6.1.23 #973

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Create source tarball
45s
Set Release ID
1s
k-framework-binary cachix release (ubuntu-20.04, ubuntu-20.04)
18m 26s
K Ubuntu Jammy Package
1h 8m 35s
k-framework-binary cachix release (macos-13, macos-13)
27m 52s
k-framework-binary cachix release (MacM1, self-macos-12)
18m 8s
Build MacOS Package
1h 17m 36s
Test MacOS Package
4m 8s
Publish Release
30m 35s
GitHub Pages deployment
6m 39s
4h 12m 45s