Skip to content

jextract: handle nested arrays, e.g. [[UInt8]] #1525

jextract: handle nested arrays, e.g. [[UInt8]]

jextract: handle nested arrays, e.g. [[UInt8]] #1525

Job Run time
9m 17s
5m 16s
5m 0s
2m 41s
2m 40s
9m 35s
2m 56s
4m 33s
2m 42s
2m 43s
6m 59s
7m 28s
6m 30s
6m 22s
7m 0s
7m 23s
1m 57s
4m 12s
8m 2s
7m 57s
1m 54s
7m 36s
7m 13s
2m 24s
8m 3s
7m 31s
8m 0s
8m 3s
9m 15s
2m 4s
5m 48s
2m 2s
6m 6s
7m 28s
2m 16s
5m 59s
6m 58s
4m 16s
5s
34s
6s
1m 49s
4m 35s
6s
6s
22s
6s
10s
5m 57s
5m 51s
5m 43s
4m 5s
6m 42s
4m 4s
8m 17s
42s
4m 38s
7m 0s
8s
5m 44s
4m 4s
43s
43s
47s
4m 16s
3m 56s
6m 31s
5m 5s
3m 46s
5m 17s
5m 41s
4m 13s
3m 58s
7m 46s
7s
7m 45s
5m 49s
4m 14s
5m 28s
6h 1m 8s