Merge remote-tracking branch 'origin/dev' into dev

Ledger-Donjon · Mar 9, 2024 · b590455 · b590455
2 parents 78bf813 + 8022dd1
commit b590455
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
@@ -13,7 +13,7 @@ jobs:
     # Steps represent a sequence of tasks that will be executed as part of the job
     steps:
       # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
 
       - name: Update apt packages
         run: sudo apt update