GA fixed this (#1209)

ionide · Nov 25, 2023 · c482f7e · c482f7e
1 parent 2a00261
commit c482f7e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 5 deletions.
diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
@@ -15,7 +15,7 @@
       ]
     },
     "fantomas": {
-      "version": "6.2.2",
+      "version": "6.2.3",
       "commands": [
         "fantomas"
       ]

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -84,10 +84,7 @@ jobs:
       run: dotnet --info
 
     - name: Restore tools
-      run: |
-        # can't do a tool restore here due to an 8.0.100 rc2 bug - this is fixed in GA so can go back to
-        # dotnet tool restore then.
-        dotnet tool install paket --version 8.0.0-alpha002 && dotnet tool install fantomas --version 6.2.2 && dotnet paket restore
+      run: dotnet tool restore
 
     - name: Check format
       run: dotnet build -t:CheckFormat