Merge pull request #533 from usommerl/dependabot/github_actions/actio…

…ns/checkout-4.1.3 Bump actions/checkout from 4.1.2 to 4.1.3
usommerl · Apr 24, 2024 · 42f2bbd · 42f2bbd
2 parents 6a3b496 + 7de1f3b
commit 42f2bbd
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 deletions.
diff --git a/.github/mergify.yml b/.github/mergify.yml
@@ -28,6 +28,13 @@ pull_request_rules:
     actions:
       merge:
         method: merge
+  - name: Automatically merge Dependabot PRs on CI success
+    conditions:
+      - author=dependabot[bot]
+      - status-success=ci
+    actions:
+      merge:
+        method: merge
   - name: Delete head branch after merge
     conditions:
       - merged

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -7,7 +7,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - name: Checkout
-      uses: actions/checkout@v4.1.2
+      uses: actions/checkout@v4.1.3
     - name: Set up JDK
       uses: actions/setup-java@v4
       with:
@@ -27,7 +27,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - name: Checkout
-      uses: actions/checkout@v4.1.2
+      uses: actions/checkout@v4.1.3
     - name: Create GitHub release draft
       uses: release-drafter/release-drafter@v6
       env:
@@ -40,7 +40,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - name: Checkout
-      uses: actions/checkout@v4.1.2
+      uses: actions/checkout@v4.1.3
     - name: Set up JDK
       uses: actions/setup-java@v4
       with: