diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-08-07 14:56:28 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-07 14:56:28 -0700 |
commit | 62661dbf501407495aa5f5d700b9d1f1f97376d2 (patch) | |
tree | 7c509a1d5c6be82c7c98b3c51e3e925524899779 /src/expr/CMakeLists.txt | |
parent | 816d5e7624c9d088c469f7e23d11394f5b385b84 (diff) |
GH Actions: Remove cancel action. (#4843)
The previously introduced action to cancel running builds is not able to
cancel builds on other branches, only on the same branch. As a consequence,
when pushing to a branch for which a PR has been submitted, builds on the
main repository are not cancelled.
This removes the cancel build. If we want behavior similar to how it was
on Travis, we need a workaround / more sophisticated solution since GH
Actions doesn't really allow / support this (due to permission issues).
Diffstat (limited to 'src/expr/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions