Empty commit to open PR

Merge upstream:main
2025-05-12 15:09:37 +00:00 · 2025-05-12 15:09:37 +00:00
1 changed files with 0 additions and 1 deletions
@@ -6,7 +6,6 @@ on:

 permissions:
  contents: write
-  pull-requests: write

 jobs:
  sync:
Author	SHA1	Message	Date
github-actions[bot]	8525842317	Empty commit to open PR Publish Executables / publish (push) Has been cancelled Details	2025-05-12 15:09:37 +00:00
github-actions[bot]	16baf7d7ba	Merge upstream:main	2025-05-12 15:09:37 +00:00