diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-11-07 11:10:09 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2020-11-07 11:10:09 +0100 |
commit | a81be6810159493933cbc0159feae191ae7d0cc3 (patch) | |
tree | 5c0712595779ffddb1a7a6f6c6bf4a8eb8e79a1f /.circleci/config.yml | |
parent | 9ea9ae8f72c26dbe37319168cfce64afa01d0fd9 (diff) |
Swap clip with int conversion
This allows correct handling of infinite values.
Diffstat (limited to '.circleci/config.yml')
0 files changed, 0 insertions, 0 deletions