Support coqbot resume ci minimize ci-foo url (#298)
#167
| Job | Run time |
|---|---|
| 5m 52s | |
| 5m 52s |
coqbot resume ci minimize ci-foo url (#298)
#167
| Job | Run time |
|---|---|
| 5m 52s | |
| 5m 52s |