squash

leanprover · May 20, 2024 · 0b89238 · 0b89238
1 parent f303ab2
commit 0b89238
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/functional_tests.yml b/.github/workflows/functional_tests.yml
@@ -36,6 +36,11 @@ jobs:
       
       - uses: actions/checkout@v4
 
+      - name: ls and pwd
+        run: |
+          ls
+          pwd
+
       - uses: ./
         with:
           test: ${{ matrix.lake-test }}