diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d670bd71d..7de1aa675 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,7 +2,6 @@ name: CI on: push: - branches: master paths-ignore: - 'CHANGES*' - 'Doc/**'