coq export: do not fail, only warn when a command is not translated +… #1118
| Job | Run time |
|---|---|
| 20s | |
| 7m 42s | |
| 8m 25s | |
| 7m 38s | |
| 7m 48s | |
| 9m 17s | |
| 8m 21s | |
| 7m 52s | |
| 7m 53s | |
| 7m 59s | |
| 1h 13m 15s |
| Job | Run time |
|---|---|
| 20s | |
| 7m 42s | |
| 8m 25s | |
| 7m 38s | |
| 7m 48s | |
| 9m 17s | |
| 8m 21s | |
| 7m 52s | |
| 7m 53s | |
| 7m 59s | |
| 1h 13m 15s |