diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-07-21 10:50:54 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-21 10:50:54 -0700 |
commit | ffed1a0c2da3c28ce910f1a19462ffa771c5b252 (patch) | |
tree | d04adb6b6fce7f3c3e21c3241b9c50f111570e24 /src/theory/arith/constraint.h | |
parent | d557a478c4643fc0bfd8c578db59803224c85b43 (diff) |
GH Actions: Cancel builds on push, remove redundant mac OS build. (#4779)
Diffstat (limited to 'src/theory/arith/constraint.h')
0 files changed, 0 insertions, 0 deletions