fix: remove ls from functional tests

leanprover · Jun 3, 2024 · 4417832 · 4417832
1 parent cb9576a
commit 4417832
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/functional_tests/lake_test/action.yml b/.github/functional_tests/lake_test/action.yml
@@ -15,7 +15,6 @@ runs:
     - name: create lake package
       run: |
         lake init dummytest
-        ls
       shell: bash
 
     - name: create dummy test