| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-06-30 | [ci] [performance-tests] Use a lighter target. | Emilio Jesus Gallego Arias | |
| The current `perf` CI target is quite heavy, failing from out of memory sometimes. We use the target suggested by Jason Gross (<- thanks) in https://github.com/coq/coq/pull/12577#issuecomment-651970064 | |||
| 2020-06-23 | [ci] Add coq-community/coq-performance-tests | Jason Gross | |
| It's tested on the bench, so might as well test it on the CI. Hopefully it's not too memory-heavy. (It should only take a couple of minutes, time-wise.) | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |