Prepare bug-fix release to adjust to opam 2.3.0 #2020
| Job | Run time |
|---|---|
| 2h 50m 51s | |
| 2h 21m 56s | |
| 2h 22m 29s | |
| 2h 14m 12s | |
| 1h 7m 27s | |
| 1h 9m 39s | |
| 45m 1s | |
| 51m 57s | |
| 13h 43m 32s |
| Job | Run time |
|---|---|
| 2h 50m 51s | |
| 2h 21m 56s | |
| 2h 22m 29s | |
| 2h 14m 12s | |
| 1h 7m 27s | |
| 1h 9m 39s | |
| 45m 1s | |
| 51m 57s | |
| 13h 43m 32s |