diff --git a/.github/workflows/pull-config.yml b/.github/workflows/pull-config.yml index 4e8f8be..6f060cb 100644 --- a/.github/workflows/pull-config.yml +++ b/.github/workflows/pull-config.yml @@ -2,7 +2,9 @@ name: Pull config on ontotools-preprod server on: - workflow_dispatch: + push: + branches: + - prod # A workflow run is made up of one or more jobs that can run sequentially or in parallel jobs: