diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index aa06c28d37a..5dbdb099286 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -11,12 +11,11 @@ permissions: # implicitly all other scopes not listed become none on: + # TODO Remove on PR push: - branches: [ master ] + branches: [ master, pqc/classic_mceliece ] pull_request: branches: [ master ] - # TODO Remove on final PR - workflow_dispatch: # cancel running workflows when new commits are being pushed in pull requests # but not on the master branch