From b8b635fc22354f02ce0939f65fbea1d758cb4cb4 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Mon, 28 Jul 2025 10:42:55 +0000
Subject: [PATCH] chore(deps): update devcontainers/ci action to
 v0.3.1900000417

---
 .github/workflows/devcontainer-ci.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/devcontainer-ci.yml b/.github/workflows/devcontainer-ci.yml
index 8cf3cd4..2638638 100644
--- a/.github/workflows/devcontainer-ci.yml
+++ b/.github/workflows/devcontainer-ci.yml
@@ -24,7 +24,7 @@ jobs:
           password: ${{ secrets.GITHUB_TOKEN }}
 
       - name: Pre-build dev container image
-        uses: devcontainers/ci@v0.3.1900000349
+        uses: devcontainers/ci@v0.3.1900000417
         with:
           cacheFrom: ghcr.io/${{ github.repository }}-devcontainer
           imageName: ghcr.io/${{ github.repository }}-devcontainer
@@ -39,7 +39,7 @@ jobs:
     steps:
       - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
       - name: Build
-        uses: devcontainers/ci@v0.3.1900000349
+        uses: devcontainers/ci@v0.3.1900000417
         with:
           cacheFrom: ghcr.io/${{ github.repository }}-devcontainer
           push: never
@@ -53,7 +53,7 @@ jobs:
     steps:
       - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
       - name: Run formatting
-        uses: devcontainers/ci@v0.3.1900000349
+        uses: devcontainers/ci@v0.3.1900000417
         with:
           cacheFrom: ghcr.io/${{ github.repository }}-devcontainer
           push: never
@@ -69,7 +69,7 @@ jobs:
     steps:
       - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
       - name: Test
-        uses: devcontainers/ci@v0.3.1900000349
+        uses: devcontainers/ci@v0.3.1900000417
         with:
           cacheFrom: ghcr.io/${{ github.repository }}-devcontainer
           push: never
@@ -83,7 +83,7 @@ jobs:
     steps:
       - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
       - name: Run quick-lint
-        uses: devcontainers/ci@v0.3.1900000349
+        uses: devcontainers/ci@v0.3.1900000417
         with:
           cacheFrom: ghcr.io/${{ github.repository }}-devcontainer
           push: never