Merge pull request #408 from metanorma/fix/optimise-biblio-sort #567
| Job | Run time |
|---|---|
| 11s | |
| 8m 17s | |
| 5m 10s | |
| 4m 36s | |
| 5m 17s | |
| 4m 7s | |
| 9m 40s | |
| 4m 5s | |
| 5m 30s | |
| 9m 25s | |
| 5m 56s | |
| 5m 8s | |
| 10s | |
| 2s | |
| 1h 7m 34s |
| Job | Run time |
|---|---|
| 11s | |
| 8m 17s | |
| 5m 10s | |
| 4m 36s | |
| 5m 17s | |
| 4m 7s | |
| 9m 40s | |
| 4m 5s | |
| 5m 30s | |
| 9m 25s | |
| 5m 56s | |
| 5m 8s | |
| 10s | |
| 2s | |
| 1h 7m 34s |