Adds make type-check
(#269)
#237
Job | Run time |
---|---|
18s | |
18s | |
25m 51s | |
26m 27s |
make type-check
(#269)
#237
Job | Run time |
---|---|
18s | |
18s | |
25m 51s | |
26m 27s |