coq export: do not fail, only warn when a command is not translated +… #1117
| Job | Run time |
|---|---|
| 22s | |
| 8m 6s | |
| 8m 54s | |
| 8m 51s | |
| 8m 47s | |
| 8m 5s | |
| 8m 4s | |
| 8m 50s | |
| 8m 29s | |
| 8m 35s | |
| 1h 17m 3s |
| Job | Run time |
|---|---|
| 22s | |
| 8m 6s | |
| 8m 54s | |
| 8m 51s | |
| 8m 47s | |
| 8m 5s | |
| 8m 4s | |
| 8m 50s | |
| 8m 29s | |
| 8m 35s | |
| 1h 17m 3s |