diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-09-30 18:17:45 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-30 18:17:45 -0700 |
| commit | e145e9f16ca87eaa3955fb4308f8a6fad6bb158d (patch) | |
| tree | cbc8f9737af45d27f184cf636723a8a958900ad1 /src/smt/sygus_solver.cpp | |
| parent | d7f92f70bb8ff221dc3d7cb086e5e2e237dadc67 (diff) | |
Add GH action to cancel previous pending/running CI builds. (#5175)
GH introduced a new workflow event pull_request_target that now makes it
possible to cancel builds on the base repository.
Diffstat (limited to 'src/smt/sygus_solver.cpp')
0 files changed, 0 insertions, 0 deletions