Skip to content

Commit

Permalink
fix gha
Browse files Browse the repository at this point in the history
  • Loading branch information
Lucas McDonald committed Aug 15, 2023
1 parent 45ada5b commit dfed42f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/test_models_python_tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -81,7 +81,7 @@ jobs:

- uses: actions/checkout@v3
with:
- submodules: recursive
submodules: recursive

- name: Setup Dafny
uses: dafny-lang/[email protected]
Expand Down

0 comments on commit dfed42f

Please sign in to comment.