wip get github to work

fsbolero · Nov 2, 2023 · 527c90b · 527c90b
1 parent 4c2fc4c
commit 527c90b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
@@ -9,7 +9,7 @@
       ]
     },
     "nbgv": {
-      "version": "3.4.231",
+      "version": "3.6.133",
       "commands": [
         "nbgv"
       ]

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -32,8 +32,9 @@ jobs:
           if echo "${{github.ref}}" | grep -q "^refs/heads/"; then
             git checkout "$(echo ${{github.ref}} | sed -E 's|^refs/heads/||')";
           fi
-          # Bad data in tool resolver cache can cause tools to not be found
-          rm -rf ~/.dotnet/toolResolverCache
+          # .NET 8 RC2 has a bug where it restores the wrong version of tools...
+          dotnet tool update paket --version 8.0.0-alpha002
+          dotnet tool update nbgv --version 3.6.133
           # Ensure that the selenium chrome driver matches the installed chrome
           ./build.ps1 -t update-chromedriver
           # Build