| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-09-03 | [bench] Only upload some files | Jason Gross | |
| We will now also record a listing of all files that we could have uploaded, in case we want to know what's available to upload in the future. | |||
| 2020-09-03 | [bench] Also upload the raw timing files, etc | Jason Gross | |
| 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 |