| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-11-12 | Print failed test suite logs in CI | Gaëtan Gilbert |
| 2019-02-11 | Don't save expected failure logs from opened/ bugs. | Gaëtan Gilbert |
| 2019-01-22 | Remove travis | Gaëtan Gilbert |
| 2018-12-21 | Do not exclude "opened" bugs from report | Maxime Dénès |
| 2018-11-16 | Print logs in appveyor test suite run | Gaëtan Gilbert |
| 2018-09-13 | Mention PRINT_LOGS=1 when failing test suite | Gaëtan Gilbert |
| 2018-09-13 | Move test suite report script to standalone script file | Gaëtan Gilbert |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |