Skip to content
CI

[ci] #473

Sign in to view logs

[ci]

[ci] #473

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Coverage (STP)
5m 53s
Docker
5m 47s
Coverage (Z3)
5m 45s
Linux (LLVM 14)
48s
Coverage (Bitwuzla)
5m 46s
clang-format
5m 17s
Linux (LLVM 13)
52s
Linux (LLVM 12)
42s
macOS
5m 9s
Linux (LLVM 11, Doxygen)
39s
Linux (LLVM 10)
37s
Linux (LLVM 9)
1s
Linux (ASan)
53s
Linux (UBSan)
1s
Linux (MSan)
1s
Linux (Z3 only)
1s
Linux (metaSMT)
1s
Linux (STP master)
1s
Linux (Bitwuzla only)
39s
Linux (Latest klee-uclibc)
39s
Linux (Asserts disabled)
42s
Linux (No TCMalloc, optimised runtime)
1s
40m 15s