diff options
Diffstat (limited to '')
| -rw-r--r-- | .github/workflows/ci_github.yml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.github/workflows/ci_github.yml b/.github/workflows/ci_github.yml index b6f3ec5..00813b5 100644 --- a/.github/workflows/ci_github.yml +++ b/.github/workflows/ci_github.yml @@ -4,9 +4,6 @@ name: CI (GitHub) on: push: - branches-ignore: - - travis - - appveyor pull_request: schedule: # Weekly, at 5:30 AM on Saturday (somewhat randomly chosen). |