Merge pull request #36 from elsoroka/dependabot/github_actions/action…

…s/checkout-4 Bump actions/checkout from 3 to 4
elsoroka · Mar 11, 2024 · 49eacbc · 49eacbc
2 parents 70559ef + bffb935
commit 49eacbc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -16,7 +16,7 @@ jobs:
           run: sudo apt-get -y install z3
         - name: Setup cvc5
           run: curl -o /usr/local/bin/cvc5 -L https://github.com/cvc5/cvc5/releases/latest/download/cvc5-Linux && chmod +x /usr/local/bin/cvc5
-        - uses: actions/checkout@v3
+        - uses: actions/checkout@v4
         - uses: julia-actions/julia-buildpkg@v1
         - uses: julia-actions/julia-docdeploy@v1
           env: