m

dafny-lang · Dec 16, 2024 · 8099db8 · 8099db8
1 parent 6c3ee19
commit 8099db8
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/reusable-tests.yml b/.github/workflows/reusable-tests.yml
@@ -32,6 +32,11 @@ jobs:
       - name: Upgrade outdated pip
         run: python -m pip install --upgrade pip
 
+      - name: Setup .NET Core SDK ${{ matrix.dotnet-version }}
+        uses: actions/setup-dotnet@v4
+        with:
+          dotnet-version: 8.0.x
+
       - name: Install lit
         run: pip install lit OutputCheck