Print working directory

btj · btj · commit f0566cb61126 · 2025-01-20T17:54:20.000+01:00
diff --git a/.github/workflows/verifast.yml b/.github/workflows/verifast.yml
@@ -36,6 +36,7 @@ jobs:
 
       - name: Run VeriFast Verification
         run: |
+          pwd
           export PATH=~/verifast-24.12/bin:$PATH
           cd verifast-proofs
           mysh check-verifast-proofs.mysh
