diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2020-04-20 12:16:15 +0200 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2020-04-20 12:16:15 +0200 |
| commit | 9ef7ba65367ab2ff92bf66b1b8166c5990530b76 (patch) | |
| tree | c9b814e942b05203fc0f56bf4628e1031d748bbb /.circleci | |
| parent | 1c1a99074049e4ff04fa28e7d6e1b6fc2067397a (diff) | |
Explicitly pass sort_results=True on some tests
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions