some dotnet

dafny-lang · Jun 24, 2024 · f2bd9d3 · f2bd9d3
1 parent 29e0426
commit f2bd9d3
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -19,6 +19,14 @@ jobs:
           fetch-depth: 0
           submodules: 'true'
 
+      - name: Setup dotnet
+        uses: actions/setup-dotnet@v4
+        with:
+          dotnet-version: 6.0.x
+
+      - name: Restore tools
+        run: dotnet tool restore
+
       - name: "Install Node.js"
         uses: actions/setup-node@v3
         with: