Merge branch 'develop' into ui-header-issue16 #8
Workflow file for this run
This file contains 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: sync-labels | |
| on: | |
| push: | |
| paths: | |
| - .github/labels.yml | |
| - .github/workflows/sync-labels.yml | |
| permissions: | |
| contents: read | |
| jobs: | |
| labeler: | |
| permissions: | |
| # actions/checkout needs this to fetch code | |
| contents: read | |
| # crazy-max/ghaction-github-labeler needs this to manage repository labels | |
| issues: write | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Sync repository labels | |
| if: success() | |
| uses: crazy-max/ghaction-github-labeler@v5 | |
| with: | |
| # This is a hideous ternary equivalent so we only do a dry run unless | |
| # this workflow is triggered by the develop branch. | |
| dry-run: ${{ github.ref_name == 'develop' && 'false' || 'true' }} |