Merge pull request #135 from inhabitedtype/dependabot/github_actions/…

…actions/checkout-4 GA(deps): Bump actions/checkout from 3 to 4
inhabitedtype · Oct 30, 2023 · 8d2d0aa · 8d2d0aa
2 parents 78b3be5 + fb3f0c0
commit 8d2d0aa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -25,7 +25,7 @@ jobs:
 
     steps:
       - name: Checkout code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Use OCaml ${{ matrix.ocaml-compiler }}
         uses: ocaml/setup-ocaml@v2