Merge pull request #170 from metanorma/fix/bibitem-footnote-presxml #247
| Job | Run time |
|---|---|
| 7s | |
| 2m 25s | |
| 2m 56s | |
| 5m 28s | |
| 2m 40s | |
| 2m 2s | |
| 4m 37s | |
| 2m 28s | |
| 2m 33s | |
| 3m 45s | |
| 1m 52s | |
| 1m 31s | |
| 1m 9s | |
| 0s | |
| 33m 33s |
| Job | Run time |
|---|---|
| 7s | |
| 2m 25s | |
| 2m 56s | |
| 5m 28s | |
| 2m 40s | |
| 2m 2s | |
| 4m 37s | |
| 2m 28s | |
| 2m 33s | |
| 3m 45s | |
| 1m 52s | |
| 1m 31s | |
| 1m 9s | |
| 0s | |
| 33m 33s |