Merge pull request #551 from metanorma/fix/biblio-mixed-subclause #1082
| Job | Run time |
|---|---|
| 6s | |
| 6m 23s | |
| 10m 30s | |
| 2m 46s | |
| 6m 47s | |
| 2m 46s | |
| 6m 4s | |
| 3m 58s | |
| 3m 29s | |
| 5m 37s | |
| 5m 23s | |
| 2m 46s | |
| 5m 11s | |
| 2s | |
| 1h 1m 48s |
| Job | Run time |
|---|---|
| 6s | |
| 6m 23s | |
| 10m 30s | |
| 2m 46s | |
| 6m 47s | |
| 2m 46s | |
| 6m 4s | |
| 3m 58s | |
| 3m 29s | |
| 5m 37s | |
| 5m 23s | |
| 2m 46s | |
| 5m 11s | |
| 2s | |
| 1h 1m 48s |