Merge pull request #781 from metanorma/fix/iso_docidentifier #2165
Job | Run time |
---|---|
10m 6s | |
12s | |
9s | |
0s | |
9s | |
7s | |
9s | |
8s | |
14s | |
7s | |
15s | |
8s | |
16s | |
9s | |
22s | |
11s | |
12m 42s |
Job | Run time |
---|---|
10m 6s | |
12s | |
9s | |
0s | |
9s | |
7s | |
9s | |
8s | |
14s | |
7s | |
15s | |
8s | |
16s | |
9s | |
22s | |
11s | |
12m 42s |