Chore: some no_std cleanup (#1834) #13
Job | Run time |
---|---|
11s | |
14s | |
13s | |
12s | |
14s | |
19s | |
12s | |
12s | |
11s | |
6s | |
13s | |
6s | |
12s | |
10s | |
14s | |
15s | |
5s | |
12s | |
3m 31s |
Job | Run time |
---|---|
11s | |
14s | |
13s | |
12s | |
14s | |
19s | |
12s | |
12s | |
11s | |
6s | |
13s | |
6s | |
12s | |
10s | |
14s | |
15s | |
5s | |
12s | |
3m 31s |