chore: Add ex_check
and sobelow
.
#765
Job | Run time |
---|---|
14s | |
33s | |
23s | |
31s | |
49s | |
32s | |
32s | |
28s | |
4m 24s | |
31s | |
28s | |
0s | |
0s | |
0s | |
0s | |
9m 25s |
ex_check
and sobelow
.
#765
Job | Run time |
---|---|
14s | |
33s | |
23s | |
31s | |
49s | |
32s | |
32s | |
28s | |
4m 24s | |
31s | |
28s | |
0s | |
0s | |
0s | |
0s | |
9m 25s |