From 6e8d1bbc28498bc54720405f7c654bed08374e4c Mon Sep 17 00:00:00 2001 From: Erik Huelsmann Date: Sat, 4 Nov 2023 19:18:15 +0100 Subject: [PATCH] Build dev environment more efficiently (#7693) * Run workflows for tags (releases) * Build dev environment on 'master' push Instead of rerunning tests on each _closed_ PR, trigger building the dev environment when a push to the master branch has happened. --- .github/workflows/main.yml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 3c574d1233e..1be5a5e6989 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -6,6 +6,8 @@ name: CI on: # Triggers the workflow on push or pull request events but only for the master branch push: + tags: + - '*' paths-ignore: - '.circleci' branches-ignore: @@ -16,7 +18,7 @@ on: - '*' paths-ignore: - '.circleci' - types: [opened, reopened, synchronize, closed] + types: [opened, reopened, synchronize] # Allows you to run this workflow manually from the Actions tab workflow_dispatch: @@ -531,7 +533,7 @@ jobs: exit 1 build-dev: - if: github.event.pull_request.merged == true + if: github.event_name == 'push' && github.ref == 'refs/heads/master' runs-on: ubuntu-latest