| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-04-06 | CI-paramcoq: Re-enable native | Gaëtan Gilbert | |
| It's an issue in paramcoq's test suite, which doesn't respect COQEXTRAFLAGS and so will be handled upstream (https://github.com/coq-community/paramcoq/pull/66) | |||
| 2021-04-01 | [ci] Disable native compilation for paramcoq | Emilio Jesus Gallego Arias | |
| Paramcoq is typically flaky on our worker configuration, c.f. https://gitlab.com/coq/coq/-/jobs/1144081161 | |||
| 2019-03-16 | Add test-suite to Paramcoq CI | Pierre Roux | |
| 2018-11-10 | [ci] Add paramcoq to CI. | Emilio Jesus Gallego Arias | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |