Skip to content

Add no_std support

Add no_std support #17

Job Run time
40s
33s
39s
34s
40s
33s
42s
36s
17s
12s
18s
12s
17s
14s
18s
10s
53s
49s
56s
52s
54s
47s
54s
50s
27s
24s
27s
25s
27s
24s
28s
22s
19s
32s
20s
34s
26s
27s
20s
19s
25s
25s
21m 21s