add port to tidb-tikv (#369) #457
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: counter | |
| on: | |
| # Triggers the workflow on push or pull request events but only for the "main" branch | |
| push: | |
| branches: [ "main" ] | |
| jobs: | |
| conditional_job_check_files: | |
| runs-on: 'ubuntu-20.04' | |
| # Declare outputs for next jobs | |
| outputs: | |
| docs_changed: ${{ steps.check_file_changed.outputs.docs_changed }} | |
| steps: | |
| - uses: actions/checkout@v2 | |
| with: | |
| # Checkout as many commits as needed for the diff | |
| fetch-depth: 2 | |
| - shell: pwsh | |
| id: check_file_changed | |
| run: | | |
| # Diff HEAD with the previous commit | |
| $diff = git diff --name-only HEAD^ HEAD | |
| # Check if a file under docs/ or with the .md extension has changed (added, modified, deleted) | |
| $SourceDiff = $diff | Where-Object { $_ -match 'bugs.md$' } | |
| $HasDiff = $SourceDiff.Length -gt 0 | |
| # Set the output named "docs_changed" | |
| Write-Host "::set-output name=docs_changed::$HasDiff" | |
| # Run the job only with "docs_changed" equals "True" | |
| conditional_job: | |
| runs-on: 'ubuntu-20.04' | |
| needs: [ conditional_job_check_files ] | |
| if: needs.conditional_job_check_files.outputs.docs_changed == 'True' | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| - name: 'Set up Python' | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: 3.10 | |
| - name: Change bugs.md | |
| shell: bash | |
| run: python3 .github/workflows/bug_counter.py | |
| - name: Check if bugs.md is changed by the script | |
| id: verify_diff | |
| run: | | |
| git diff --quiet bugs.md || echo "::set-output name=are_bugs_changed::true" | |
| - name: Commit files | |
| if: steps.verify_diff.outputs.are_bugs_changed == 'true' | |
| run: | | |
| git config --local user.name github-actions[bot] | |
| git config --local user.email github-actions[bot]@users.noreply.github.com | |
| git status | |
| git add bugs.md | |
| git commit -m "update: bug number" | |
| git log | |
| git push |