Debugging

dafny-lang · Feb 14, 2023 · ddf001b · ddf001b
1 parent fbc5182
commit ddf001b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/dafnycore.yml b/.github/workflows/dafnycore.yml
@@ -19,7 +19,10 @@ jobs:
           dafny-version: "3.11.0"
 
       - name: Check version
-        run:  dafny --version
+        run: |
+          dafny --version
+          which dafny
+          which z3
 
       - name: Install lit
         run: pip install lit OutputCheck