ci: fix coverage + minor touch ups #117
Job | Run time |
---|---|
25s | |
1m 43s | |
47s | |
30s | |
59s | |
45s | |
22s | |
1m 27s | |
27s | |
27s | |
1m 19s | |
23s | |
36s | |
1m 44s | |
23s | |
12m 17s |
Job | Run time |
---|---|
25s | |
1m 43s | |
47s | |
30s | |
59s | |
45s | |
22s | |
1m 27s | |
27s | |
27s | |
1m 19s | |
23s | |
36s | |
1m 44s | |
23s | |
12m 17s |