Skip to content

[JSON] Add strict_properties kwarg to guidance.json to make JSON output terser by default #964

[JSON] Add strict_properties kwarg to guidance.json to make JSON output terser by default

[JSON] Add strict_properties kwarg to guidance.json to make JSON output terser by default #964

Job Run time
11s
2m 43s
22s
26s
23s
26s
1m 17s
1m 20s
1m 1s
1m 17s
36s
39s
41s
40s
8m 58s
12m 33s
12m 13s
6m 38s
14m 29s
11m 32s
1s
12m 53s
13m 42s
12m 13s
10m 42s
11m 17s
9m 59s
13m 39s
10m 52s
8m 22s
5m 39s
8m 14s
5m 14s
16m 7s
8m 8s
22m 27s
8m 23s
10m 51s
20m 0s
21m 59s
13m 22s
23m 17s
23m 16s
23m 15s
23m 26s
1s
11m 31s
16m 15s
19m 50s
19m 8s
16m 46s
16m 23s
17m 37s
22m 53s
12m 38s
18m 12s
18m 36s
15m 58s
20m 26s
12m 8s
18m 46s
17m 45s
15m 43s
11m 43s
20m 7s
10m 1s
10m 29s
19m 8s
10m 41s
16m 37s
19m 12s
13m 36s
18m 15s
16m 16s
28m 33s
14m 44s
18m 4s
21m 19s
22m 31s
16m 34s
16m 1s
18m 22s
13m 56s
22m 33s
19m 57s
31m 43s
22m 43s
18m 32s
14m 53s
8m 31s
31m 46s
8m 40s
16m 2s
23m 18s
23m 18s
13m 24s
22m 6s
7m 59s
17m 5s
18m 49s
22h 43m 47s