| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-08-26 | Use the lite variants of performance tests in the bench default packages. | Pierre-Marie Pédrot | |
| They are much faster and should be as informative as their heavy counterparts. I have been forgetting to do that for a long time already. | |||
| 2020-08-25 | Move bench job definition to its own file | Gaëtan Gilbert | |
| This focuses review requests to bench-maintainers instead of sharing with ci-maintainers | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |