Debugging #3

dafny-lang · Mar 3, 2023 · 4d55d81 · 4d55d81
1 parent d44073c
commit 4d55d81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -23,7 +23,7 @@ jobs:
         version: [nightly-2023-02-18-ef4f346, 3.11.0 ]
         os: [ ubuntu-latest ]
 
-    uses: dafny-lang/dafny/.github/workflows/reusable-tests.yml@cok-reusable-yml
+    uses: .github/workflows/reusable-tests.yml@cok-reusable-yml
     with:
       dafny-version: ${{ matrix.version }}
       os: ${{ matrix.os }}