Skip to content
CI

[fix] Fixed inner types for unnamed structs. #911

Sign in to view logs

[fix] Fixed inner types for unnamed structs.

[fix] Fixed inner types for unnamed structs. #911

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clang-format
6m 39s
Coverage (STP)
38m 42s
Docker
12m 57s
Coverage (Z3)
51m 38s
Linux (LLVM 14)
17m 13s
macOS
10m 50s
Linux (LLVM 13)
18m 31s
Linux (LLVM 12)
16m 21s
Linux (LLVM 11, Doxygen)
17m 51s
Linux (LLVM 10)
15m 10s
Linux (LLVM 9)
19m 0s
Linux (ASan)
54m 5s
Linux (UBSan)
46m 3s
Linux (MSan)
1h 9m 37s
Linux (Z3 only)
14m 40s
Linux (metaSMT)
38m 6s
Linux (STP master)
21m 4s
Linux (Latest klee-uclibc)
20m 7s
Linux (Asserts disabled)
14m 41s
Linux (No TCMalloc, optimised runtime)
15m 5s
8h 38m 20s