autoid_service: fix potential 'duplicated entry' error when tidb exit… #13670
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: misc | |
| on: | |
| workflow_dispatch: | |
| pull_request: | |
| branches: | |
| - "master" | |
| - "main" | |
| - "release-**" | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| permissions: | |
| contents: read # to fetch code (actions/checkout) | |
| jobs: | |
| check: | |
| permissions: | |
| contents: read # to fetch code (actions/checkout) | |
| pull-requests: write # to comment on pull-requests | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Check File Permission | |
| run: make check-file-perm | |
| - name: Check License Header | |
| uses: apache/skywalking-eyes/header@v0.4.0 | |
| with: | |
| log: info | |
| token: ${{ secrets.GITHUB_TOKEN }} | |
| config: .github/licenserc.yml |