Merge branch 'main' of https://github.com/haslab/why3do

haslab · Jun 11, 2024 · a690a09 · a690a09
2 parents 2c54501 + 9af14ad
commit a690a09
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/set-up-environment.yml b/.github/workflows/set-up-environment.yml
@@ -10,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - name: Check out repository code
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
     - name: Use OCaml
       uses: ocaml/setup-ocaml@v2
       with: