From 211680da86b69120838169656102281d20e65a9e Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Mon, 25 Apr 2022 03:03:54 -1000 Subject: [PATCH] ;ci: main: doc --- .github/workflows/main.yml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 1abf02169..06f2b7d5c 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -7,18 +7,20 @@ name: main CI # This workflow runs... on: - # on master, when manually triggered + # On master, when manually triggered. workflow_dispatch: - # on master, on this schedule: + # On master, on this schedule: # schedule: # - cron: "0 07 * * 0" # sunday midnight pacific - # on these dev branches, when pushed + # On these dev branches, when pushed. + # To avoid double workflow execution, don't use these branches for pull requests. + # (https://github.community/t/how-to-trigger-an-action-on-push-or-pull-request-but-not-both/16662/2) push: branches: [ simon, simon2 ] - # on pull request branches against these branches, when pushed + # On pull request branches against these branches, when pushed. pull_request: branches: [ master ] # Uncomment to run it only for changes to these paths: (but that could prevent merging)