chore: maintenance, CI and misc improvements #268
Job | Run time |
---|---|
21s | |
16s | |
18s | |
14s | |
17s | |
16s | |
17s | |
16s | |
21s | |
42s | |
28s | |
36s | |
50s | |
14s | |
45s | |
14s | |
18s | |
18s | |
17s | |
23s | |
7m 41s |
Job | Run time |
---|---|
21s | |
16s | |
18s | |
14s | |
17s | |
16s | |
17s | |
16s | |
21s | |
42s | |
28s | |
36s | |
50s | |
14s | |
45s | |
14s | |
18s | |
18s | |
17s | |
23s | |
7m 41s |