Skip to content
Release

K Framework Release v6.3.15 #1114

Sign in to view logs

K Framework Release v6.3.15

K Framework Release v6.3.15 #1114

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Set Release ID
4s
k-framework-binary cachix release (ubuntu-20.04, ubuntu-20.04)
19m 22s
Create source tarball
37s
k-framework-binary cachix release (macos-13, macos-13)
28m 10s
k-framework-binary cachix release (MacM1, self-macos-12)
14m 26s
K Ubuntu Jammy Package
25m 14s
Build MacOS Package
1h 24m 13s
Test MacOS Package
4m 19s
Publish Release
20m 56s
GitHub Pages deployment
8m 12s
3h 25m 33s