Add dotnet tools

Author: dbrattli

.config/dotnet-tools.json

@@ -0,0 +1,18 @@
+{
+  "version": 1,
+  "isRoot": true,
+  "tools": {
+    "paket": {
+      "version": "6.0.13",
+      "commands": [
+        "paket"
+      ]
+    },
+    "fantomas-tool": {
+      "version": "4.5.3",
+      "commands": [
+        "fantomas"
+      ]
+    }
+  }
+}

.github/workflows/build-and-test.yml

@@ -23,6 +23,6 @@ jobs:
       - name: Check formatting
         run: dotnet fantomas . -r --check
       - name: Build
-        run: dotnet build --configuration Release --no-restore
+        run: dotnet run Build --configuration Release --no-restore
       - name: Test
         run: dotnet run RunTests