debug

GaloisInc · Aug 30, 2024 · 58b2e6d · 58b2e6d
1 parent b5a5f17
commit 58b2e6d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/server-ci.yml b/.github/workflows/server-ci.yml
@@ -36,7 +36,6 @@ jobs:
       - run: opam switch
       - run: pwd
       - run: ls
-      - run: ls ~
 
       - name: Restore `_opam`
         id: cache-opam-restore