Merge main into nightly-testing

Author: leanprover-community-mathlib4-bot

.github/workflows/labels-from-status.yml

@@ -10,7 +10,7 @@ permissions:
   pull-requests: write
 
 on:
-  pull_request:
+  pull_request_target:
     types:
       - closed
       - opened