From 1956c8034b989600ffb4b066def201a31354188c Mon Sep 17 00:00:00 2001 From: Wouter Nuijten Date: Thu, 10 Oct 2024 17:01:34 +0200 Subject: [PATCH] Update CI.yml --- .github/workflows/CI.yml | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 4654a60..63a961f 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -1,11 +1,14 @@ name: CI on: + workflow_dispatch: + pull_request: + types: [ready_for_review,reopened,synchronize] + pull_request_review: + types: [submitted,edited] push: branches: - - main - tags: ['*'] - pull_request: - workflow_dispatch: + - 'main' + tags: '*' concurrency: # Skip intermediate builds: always. # Cancel intermediate builds: only if it is a pull request build.