chore: list all files in CI

leanprover · Dec 13, 2023 · 10d90af · 10d90af
1 parent f8957c8
commit 10d90af
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -18,6 +18,10 @@ jobs:
 
       - uses: actions/checkout@v3
 
+      - name: List all files
+        run: |
+          find . -name "*.lean" -type f
+
       - name: lean version
         run: |
           lean --version