update to new checkout

ethz-asl · Feb 8, 2024 · 7e92714 · 7e92714
1 parent 3fe485f
commit 7e92714
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docker_build.yaml b/.github/workflows/docker_build.yaml
@@ -15,7 +15,7 @@ jobs:
     name: Build Ubuntu ${{ matrix.version }}.04
     steps:
       - name: Code Checkout
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
       - name: Create Workspace
         run: |
           export REPO=$(basename $GITHUB_REPOSITORY) &&