Skip to content

Commit

Permalink
Update testWin.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
marcoeilers authored Oct 23, 2024
1 parent 771c5d2 commit 4891223
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions .github/workflows/testWin.yml
Original file line number Diff line number Diff line change
@@ -13,6 +13,10 @@ jobs:
BOOGIE_EXE: "/home/runner/.dotnet/tools/boogie"
steps:
- uses: actions/checkout@v2
- name: Set up Java 11
uses: actions/[email protected]
with:
java-version: 11
- name: Set up Python 3.9
uses: actions/setup-python@v2
with:

0 comments on commit 4891223

Please sign in to comment.