Merge branch 'main' of https://github.com/utensil/formal-land

utensil · Oct 24, 2024 · fd331a0 · fd331a0
2 parents 60654c9 + 9b88b8c
commit fd331a0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/lean4.yml b/.github/workflows/lean4.yml
@@ -42,7 +42,7 @@ jobs:
       #     curl -O --location https://raw.githubusercontent.com/leanprover/elan/master/elan-init.ps1
       #     .\elan-init.ps1 -NoPrompt 1 -DefaultToolchain none
       #     echo "$HOME\.elan\bin" >> $env:GITHUB_PATH
-      - uses: dorny/paths-filter@v2
+      - uses: dorny/paths-filter@v3
         id: filter
         with:
           list-files: shell