bug(ci): fix NuGet publish and restore sources

Author: xperiandri

.github/workflows/publish_ci.yml

@@ -23,10 +23,6 @@ jobs:
           global-json-file: global.json
           dotnet-version: |
             8.x
-
-      - name: Add the GitHub source
-        run: dotnet nuget add source --name "github.com" "https://nuget.pkg.github.com/fsprojects/index.json"
-
       - name: Publish to GitHub
         env:
           NUGET_TOKEN: ${{ secrets.NUGET_TOKEN }}

NuGet.config

@@ -0,0 +1,12 @@
+<configuration>
+  <packageSources>
+    <clear />
+    <add key="nuget.org" value="https://api.nuget.org/v3/index.json" />
+    <add key="github.com" value="https://nuget.pkg.github.com/fsprojects/index.json" />
+  </packageSources>
+  <packageSourceMapping>
+    <packageSource key="nuget.org">
+      <package pattern="*" />
+    </packageSource>
+  </packageSourceMapping>
+</configuration>

build/build.fs

@@ -483,9 +483,11 @@ let publishTo (source : PushSource) _ =
             }
             PushParams = {
                 o.PushParams with
+                    // TODO: Uncomment when migrated to F# 9
+                    //NoSymbols = source.IsGitHub
                     Source =
                         match source with
-                        | NuGet -> None
+                        | NuGet -> Some "nuget.org"
                         | GitHub -> Some "github.com"
                     ApiKey =
                         match source with