Merge pull request #822 from metanorma/fix/float_clausebefore #1061
| Job | Run time |
|---|---|
| 10s | |
| 12m 9s | |
| 12m 29s | |
| 15m 41s | |
| 9m 11s | |
| 10m 24s | |
| 19m 17s | |
| 9m 27s | |
| 8m 41s | |
| 10m 28s | |
| 11m 41s | |
| 8m 7s | |
| 13m 10s | |
| 0s | |
| 2h 20m 55s |
| Job | Run time |
|---|---|
| 10s | |
| 12m 9s | |
| 12m 29s | |
| 15m 41s | |
| 9m 11s | |
| 10m 24s | |
| 19m 17s | |
| 9m 27s | |
| 8m 41s | |
| 10m 28s | |
| 11m 41s | |
| 8m 7s | |
| 13m 10s | |
| 0s | |
| 2h 20m 55s |