Opam: add back 'extra-files' field for opam 2.3.0 #1992
| Job | Run time |
|---|---|
| 50m 26s | |
| 49m 22s | |
| 30m 24s | |
| 30m 43s | |
| 31m 16s | |
| 31m 26s | |
| 48m 53s | |
| 40m 48s | |
| 35m 53s | |
| 36m 23s | |
| 37m 29s | |
| 38m 1s | |
| 10m 49s | |
| 10m 52s | |
| 11m 11s | |
| 11m 31s | |
| 8h 25m 27s |
| Job | Run time |
|---|---|
| 50m 26s | |
| 49m 22s | |
| 30m 24s | |
| 30m 43s | |
| 31m 16s | |
| 31m 26s | |
| 48m 53s | |
| 40m 48s | |
| 35m 53s | |
| 36m 23s | |
| 37m 29s | |
| 38m 1s | |
| 10m 49s | |
| 10m 52s | |
| 11m 11s | |
| 11m 31s | |
| 8h 25m 27s |