Skip to content

Bump metanorma-cli to 1.8.3 #690

Bump metanorma-cli to 1.8.3

Bump metanorma-cli to 1.8.3 #690

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