Skip to content
build

Use bitvectors everywhere in constraints #4255

Sign in to view logs

Use bitvectors everywhere in constraints

Use bitvectors everywhere in constraints #4255

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build | ubuntu-22.04 | clang
6m 19s
Lint Python
48s
Build | ubuntu-22.04 | gcc
6m 22s
Build | ubuntu-20.04 | clang
6m 20s
Build | ubuntu-20.04 | gcc
7m 41s
Build | ubuntu-20.04 | gcc-10
6m 45s
Test | ubuntu-22.04 | clang | dist-vlt-0
14m 53s
Test | ubuntu-22.04 | clang | dist-vlt-1
11m 25s
Test | ubuntu-22.04 | clang | dist-vlt-2
12m 58s
Test | ubuntu-22.04 | clang | dist-vlt-3
15m 23s
Test | ubuntu-22.04 | clang | vltmt-0
20m 57s
Test | ubuntu-22.04 | clang | vltmt-1
15m 54s
Test | ubuntu-22.04 | gcc | dist-vlt-0
15m 16s
Test | ubuntu-22.04 | gcc | dist-vlt-1
13m 13s
Test | ubuntu-22.04 | gcc | dist-vlt-2
14m 58s
Test | ubuntu-22.04 | gcc | dist-vlt-3
12m 39s
Test | ubuntu-22.04 | gcc | vltmt-0
19m 22s
Test | ubuntu-22.04 | gcc | vltmt-1
16m 8s
Test | ubuntu-20.04 | clang | dist-vlt-0
10m 51s
Test | ubuntu-20.04 | clang | dist-vlt-1
10m 40s
Test | ubuntu-20.04 | clang | dist-vlt-2
11m 19s
Test | ubuntu-20.04 | clang | dist-vlt-3
10m 21s
Test | ubuntu-20.04 | clang | vltmt-0
20m 30s
Test | ubuntu-20.04 | clang | vltmt-1
15m 41s
Test | ubuntu-20.04 | gcc | dist-vlt-0
9m 32s
Test | ubuntu-20.04 | gcc | dist-vlt-1
9m 18s
Test | ubuntu-20.04 | gcc | dist-vlt-2
10m 8s
Test | ubuntu-20.04 | gcc | dist-vlt-3
9m 5s
Test | ubuntu-20.04 | gcc | vltmt-0
16m 42s
Test | ubuntu-20.04 | gcc | vltmt-1
14m 27s
Test | ubuntu-20.04 | gcc-10 | dist-vlt-0
10m 2s
Test | ubuntu-20.04 | gcc-10 | dist-vlt-1
9m 42s
Test | ubuntu-20.04 | gcc-10 | dist-vlt-2
9m 44s
Test | ubuntu-20.04 | gcc-10 | dist-vlt-3
8m 14s
Test | ubuntu-20.04 | gcc-10 | vltmt-0
17m 13s
Test | ubuntu-20.04 | gcc-10 | vltmt-1
13m 59s
Test | ubuntu-22.04 | gcc | reloc | dist-vlt-0
14m 46s
Test | ubuntu-22.04 | gcc | reloc | dist-vlt-1
12m 40s
Test | ubuntu-22.04 | gcc | reloc | dist-vlt-2
13m 57s
Test | ubuntu-22.04 | gcc | reloc | dist-vlt-3
11m 42s
Test | ubuntu-22.04 | gcc | reloc | vltmt-0
22m 55s
Test | ubuntu-22.04 | gcc | reloc | vltmt-1
16m 14s
8h 47m 3s