GH Actions: Remove cancel action. (#4843)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 7 Aug 2020 21:56:28 +0000 (14:56 -0700)
committerGitHub <noreply@github.com>
Fri, 7 Aug 2020 21:56:28 +0000 (14:56 -0700)
commit62661dbf501407495aa5f5d700b9d1f1f97376d2
tree7c509a1d5c6be82c7c98b3c51e3e925524899779
parent816d5e7624c9d088c469f7e23d11394f5b385b84
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).
.github/workflows/ci.yml