From f8b5d843397d6a04dc14dd8c798f9d4e7ccfff48 Mon Sep 17 00:00:00 2001 From: tommelt Date: Tue, 7 Jan 2025 11:26:27 +0000 Subject: [PATCH] chore: add comment to github workflow about skipping CI It is possible to skip running CI by prefixing the following notation in the title of your commit message e.g., "[skip ci] my commit message" For more information, please read the GitHub [documentation](https://docs.github.com/en/actions/managing-workflow-runs-and-deployments/managing-workflow-runs/skipping-workflow-runs) Note: You will not be able to merge into develop or main without running CI. To run CI either: - edit the last commit message using `git commit --amend` and remove the tag "[skip ci]" or, - create a new commit without a "[skip ci]" tag --- .github/workflows/test_suite.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/test_suite.yml b/.github/workflows/test_suite.yml index a2cdc3d31..35d9d1a98 100644 --- a/.github/workflows/test_suite.yml +++ b/.github/workflows/test_suite.yml @@ -8,6 +8,10 @@ on: # # For more information, please read the GitHub # [documentation](https://docs.github.com/en/actions/managing-workflow-runs-and-deployments/managing-workflow-runs/skipping-workflow-runs) + # + # Note: You will not be able to merge into develop or main without running CI. To run CI either: + # - edit the last commit message using `git commit --amend` and remove the tag "[skip ci]" or, + # - create a new commit without a "[skip ci]" tag push: branches: [ main, develop ] pull_request: