From 1b20b2341ab4f83ee8f17dfb7717502c2e8ad113 Mon Sep 17 00:00:00 2001 From: James McLaughlin Date: Wed, 6 Oct 2021 14:32:23 +0100 Subject: [PATCH] Update pull-config.yml --- .github/workflows/pull-config.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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: