Explicitly list nuget artifacts source to publish to

kant2002 · Aug 6, 2024 · 44778d1 · 44778d1
1 parent c82b96d
commit 44778d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -70,5 +70,5 @@ jobs:
         uses: actions/setup-dotnet@v4
 
       - name: Publish nuget package
-        run: dotnet nuget push "artifacts/package/release/*.nupkg" --source fstarlang --api-key ${{ secrets.AZ_DEVOPS_KEY }} --skip-duplicate
+        run: dotnet nuget push "artifacts/package/release/*.nupkg" --source https://codevision.pkgs.visualstudio.com/FStarLang/_packaging/fstarlang/nuget/v3/index.json --api-key ${{ secrets.AZ_DEVOPS_KEY }} --skip-duplicate
         if: github.event_name == 'push' || github.event.inputs.publish_artifacts == 'true'