Merge branch 'master' into under_annotations

Author: hflexgrig

.github/workflows/Nightly.yml

@@ -78,5 +78,5 @@ jobs:
         # "dotnet nuget push" with "dotnet nuget add source" to GitHub Packages is unstable for project names with a dot: https://github.com/NuGet/Home/issues/9775#issuecomment-714509211
         # So we must specify api-key directly in "dotnet nuget push" instead of following the GitHub Packages documentation
         # --no-symbols true to not let GitHub Releases interpret .snupkg as .nupkg
-        dotnet nuget push .nupkgs\*.nupkg --source 'https://nuget.pkg.github.com/verybadcat/index.json' --api-key ${{ github.token }} --skip-duplicate --no-symbols true
+        dotnet nuget push '.nupkgs\*.nupkg' --source 'https://nuget.pkg.github.com/verybadcat/index.json' --api-key ${{ github.token }} --skip-duplicate --no-symbols true
       shell: pwsh

.github/workflows/Release.yml

@@ -40,5 +40,5 @@ jobs:
     - name: Upload to NuGet
       run: |
         # Use --skip-duplicate since we want re-runs of this workflow to succeed in case of network issues
-        dotnet nuget push .nupkgs\*.nupkg -k ${{ secrets.NUGET_API_KEY }} -s https://api.nuget.org/v3/index.json  --skip-duplicate
+        dotnet nuget push '.nupkgs\*.nupkg' -k ${{ secrets.NUGET_API_KEY }} -s https://api.nuget.org/v3/index.json  --skip-duplicate
       shell: pwsh