Merge pull request #742 from coq-community/bump-version-2-1-2 #942
| Job | Run time |
|---|---|
| 37m 43s | |
| 8m 9s | |
| 1m 3s | |
| 8m 37s | |
| 43s | |
| 2m 36s | |
| 2m 11s | |
| 8m 8s | |
| 48s | |
| 2m 35s | |
| 8m 2s | |
| 5m 53s | |
| 6m 8s | |
| 6m 55s | |
| 20m 20s | |
| 9s | |
| 2h 0m 0s |
| Job | Run time |
|---|---|
| 37m 43s | |
| 8m 9s | |
| 1m 3s | |
| 8m 37s | |
| 43s | |
| 2m 36s | |
| 2m 11s | |
| 8m 8s | |
| 48s | |
| 2m 35s | |
| 8m 2s | |
| 5m 53s | |
| 6m 8s | |
| 6m 55s | |
| 20m 20s | |
| 9s | |
| 2h 0m 0s |