Skip to content
Linux CI

Update team.md #205

Sign in to view logs

Update team.md

Update team.md #205

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Ubuntu 64-bit (ubuntu-20.04, 6.0, gcc)
23m 41s
Ubuntu 64-bit (ubuntu-20.04, 7, gcc)
23m 59s
Ubuntu 64-bit (ubuntu-20.04, 8, gcc)
34m 23s
Ubuntu 64-bit (ubuntu-20.04, 9, gcc)
23m 42s
Ubuntu 64-bit (ubuntu-20.04, 10, gcc)
23m 40s
Ubuntu 64-bit (ubuntu-20.04, 10, gcc, Debug)
10m 35s
Ubuntu 64-bit (ubuntu-20.04, 11, gcc, no-klee)
17m 33s
Ubuntu 64-bit (ubuntu-20.04, 12, gcc, no-klee)
16m 58s
Ubuntu 64-bit (ubuntu-22.04, 13, gcc, no-klee)
14m 6s
Ubuntu 64-bit (ubuntu-20.04, 6.0, clang)
11m 5s
Ubuntu 64-bit (ubuntu-20.04, 7, clang)
10m 52s
Ubuntu 64-bit (ubuntu-20.04, 8, clang)
11m 11s
Ubuntu 64-bit (ubuntu-20.04, 9, clang)
11m 24s
Ubuntu 64-bit (ubuntu-20.04, 10, clang)
11m 57s
Ubuntu 64-bit (ubuntu-20.04, 10, clang, Debug)
9m 9s
Ubuntu 64-bit (ubuntu-20.04, 11, clang, no-klee)
8m 41s
Ubuntu 64-bit (ubuntu-20.04, 12, clang, no-klee)
8m 10s
Ubuntu 64-bit (ubuntu-22.04, 13, clang, no-klee)
8m 24s
4h 39m 30s