diff options
| author | Pierre-Marie Pédrot | 2020-11-20 19:44:58 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-11-20 19:44:58 +0100 |
| commit | 1a97ab1856ff8a855645d31e5b2bf665f666ca97 (patch) | |
| tree | 98dbba2cb50baf64eacc9f3923a66cffbf4218bb /dev/ci | |
| parent | 6479926c576a1ab6aaa2f0524407f4383fcc1838 (diff) | |
| parent | 6188353cfcf7f34ac591cff804764363c7987814 (diff) | |
Merge PR #13233: add perennial to benchmark suite
Reviewed-by: ppedrot
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions