Progress bar visuals enhancement #86
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
| # With the squash-and-merge strategy that we are employing, the final commit that ends up in the develop branch | |
| # after the PR merge has a brand-new commit SHA that is not equal to the SHA of the last commit in the PR. | |
| # This means that the coverage reports uploaded to Codecov in the course of the (yet unmerged) PR checks will not | |
| # be translated to the ultimate commit in the develop and Codecov will show "missing base report" errors in the UI. | |
| # We don't want to re-run the precommits after PR merge via a separate 'on: push' action on the develop branch, so | |
| # instead will grab the latest coverage report artifact from the just-merged PR and upload it as the report for the | |
| # new commit on develop. Note that this will break if the PR is merged before the coverage artifact for the latest | |
| # PR commit is generated. | |
| name: Post-PR merge actions | |
| on: | |
| pull_request_target: | |
| branches: | |
| - develop | |
| types: | |
| - closed | |
| jobs: | |
| upload-coverage-common: | |
| if: github.event.pull_request.merged == true | |
| uses: ./.github/workflows/upload_coverage_for_develop.yml | |
| with: | |
| merge_commit_sha: ${{ github.event.pull_request.merge_commit_sha }} | |
| last_sha_in_pr: ${{ github.event.pull_request.head.sha }} | |
| coverage_artifact_name_in_pr: coverage_common | |
| secrets: | |
| CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }} | |
| upload-coverage-onnx: | |
| if: github.event.pull_request.merged == true | |
| uses: ./.github/workflows/upload_coverage_for_develop.yml | |
| with: | |
| merge_commit_sha: ${{ github.event.pull_request.merge_commit_sha }} | |
| last_sha_in_pr: ${{ github.event.pull_request.head.sha }} | |
| coverage_artifact_name_in_pr: coverage_onnx | |
| secrets: | |
| CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }} |