Merge pull request #17173 from is-a-dev/wdhdev-patch-2

skip ci option
2026-05-22 08:24:27 +00:00 · 2024-11-14 13:47:38 +11:00
parent 42da73a68b 1fa745f6e3
commit c80d774ab3
1 changed files with 2 additions and 0 deletions
@@ -21,6 +21,7 @@ concurrency:
 jobs:
    dns:
        name: DNS
+        if: "!contains(github.event.head_commit.message, '[skip-ci]')"
        runs-on: ubuntu-latest
        steps:
            - uses: actions/checkout@v4
@@ -32,6 +33,7 @@ jobs:

    tests:
        name: Tests
+        if: "!contains(github.event.head_commit.message, '[skip-ci]')"
        runs-on: ubuntu-latest
        steps:
            - uses: actions/checkout@v4