diff options
| author | Jason Gross | 2021-02-03 10:13:00 -0500 |
|---|---|---|
| committer | Jason Gross | 2021-02-03 10:13:00 -0500 |
| commit | 51699a1dec7f1252fb9aaf7a1e7605bef95782da (patch) | |
| tree | 4e2d94263a8ad28cf06bc280a676b65f74572861 /dev/bugzilla2github_stripped.csv | |
| parent | 8615aac5fc342b2184b3431abec15dbab621efba (diff) | |
[bench] Re-enable coq-performance-tests
Partial revert of 6f4c61d152ad801bd571088ab99eb276b0085a04.
coq-performance-tests was fixed in
https://github.com/coq-community/coq-performance-tests/commit/ae8385b9471409387d0f47f01e38b866ba70bda1.
Note that the current state is not optimal, as the bench does not test
the native compiler at all (see #13807).
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions