Merge with upstream

Author: dhil

.github/workflows/main.yml

@@ -84,6 +84,10 @@ jobs:
         $LOCALAPPDATA/Microsoft/dotnet/dotnet --info
       if: matrix.os == 'windows-latest' && matrix.lang == 'csharp'
 
+      # Hacky work-around for https://github.com/dotnet/runtime/issues/80619
+    - run: dotnet new console -o /tmp/foo
+      if: matrix.os != 'windows-latest' && matrix.lang == 'csharp'
+
     - run: |
         curl -fsSL https://cli.moonbitlang.com/install/unix.sh | bash
         echo "$HOME/.moon/bin" >> $GITHUB_PATH

.github/workflows/release-process.yml

@@ -16,6 +16,10 @@ on:
         required: false
         default: 'bump'
 
+permissions:
+  contents: write
+  pull-requests: write
+
 jobs:
   release_process:
     name: Run the release process