Merge pull request #35 from coq-community/fix-deprecations-8.20 #27
| Job | Run time |
|---|---|
| 2m 43s | |
| 12m 43s | |
| 21m 16s | |
| 22m 29s | |
| 14m 59s | |
| 14m 15s | |
| 16m 9s | |
| 16m 21s | |
| 16m 19s | |
| 17m 16s | |
| 2h 34m 30s |
| Job | Run time |
|---|---|
| 2m 43s | |
| 12m 43s | |
| 21m 16s | |
| 22m 29s | |
| 14m 59s | |
| 14m 15s | |
| 16m 9s | |
| 16m 21s | |
| 16m 19s | |
| 17m 16s | |
| 2h 34m 30s |