SONARPY-2353 Improve the reproducer of the S5845 FP when comparing enum objects with types #72
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: Pull Request Created | |
| on: | |
| pull_request: | |
| types: ["opened"] | |
| jobs: | |
| PullRequestCreated_job: | |
| name: Pull Request Created | |
| runs-on: ubuntu-latest | |
| permissions: | |
| id-token: write | |
| # For external PR, ticket should be created manually | |
| if: | | |
| github.event.pull_request.head.repo.full_name == github.repository | |
| && github.event.sender.type != 'Bot' | |
| && ${{ !startsWith(github.event.pull_request.title, 'NO-JIRA') }} | |
| steps: | |
| - id: secrets | |
| uses: SonarSource/vault-action-wrapper@v3 | |
| with: | |
| secrets: | | |
| development/github/token/{REPO_OWNER_NAME_DASH}-jira token | GITHUB_TOKEN; | |
| development/kv/data/jira user | JIRA_USER; | |
| development/kv/data/jira token | JIRA_TOKEN; | |
| - uses: sonarsource/gh-action-lt-backlog/PullRequestCreated@v2 | |
| with: | |
| github-token: ${{ fromJSON(steps.secrets.outputs.vault).GITHUB_TOKEN }} | |
| jira-user: ${{ fromJSON(steps.secrets.outputs.vault).JIRA_USER }} | |
| jira-token: ${{ fromJSON(steps.secrets.outputs.vault).JIRA_TOKEN }} | |
| jira-project: SONARPY |