Debugging #3

dafny-lang · Feb 14, 2023 · 1c9c476 · 1c9c476
1 parent c121213
commit 1c9c476
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/.github/workflows/dafnycore.yml b/.github/workflows/dafnycore.yml
@@ -2,7 +2,7 @@
 name: Dafny Core verification
 
 on:
-  push:
+#  push:
 #    branches: [ master , 'cok*' ]
   pull_request:
     branches: [ master ]

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -24,6 +24,13 @@ jobs:
       - name: Set up JS dependencies
         run: npm install bignumber.js
 
+      - name: Check exe
+        run: |
+          dafny --version
+          which dafny
+          z3 --version
+          which z3
+
       - name: Verify legacy code
         run: lit --time-tests -v --param 'dafny_params=/verificationLogger:trx /verificationLogger:csv' .