docs: dark theme, grouped nav, hide diagnostics, enriched content #50
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Auto-merge | |
| on: | |
| pull_request: | |
| types: [opened, synchronize, reopened] | |
| jobs: | |
| enable-auto-merge: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| pull-requests: write | |
| contents: write | |
| steps: | |
| - name: Enable auto-merge (squash) | |
| # Must use PAT_TOKEN — pushes made by GITHUB_TOKEN do NOT trigger | |
| # other workflows (GitHub limitation). PAT_TOKEN ensures the merge | |
| # push fires publish, CI, and benchmark workflows on main. | |
| run: gh pr merge --auto --squash "$PR_URL" | |
| env: | |
| PR_URL: ${{ github.event.pull_request.html_url }} | |
| GH_TOKEN: ${{ secrets.PAT_TOKEN }} |