Conversation
|
The following sections might be updated with supplementary metadata relevant to reviewers and maintainers. ReviewsSee the guideline for information on the review process.
If your review is incorrectly listed, please copy-paste |
…if [ "${{ github.event_name }}" = "pull_request" ]; then echo "::notice title=Pull Request Number::The PR number is ${{ github.event.number }}" fi
.github/workflows/ci.yml
Outdated
There was a problem hiding this comment.
the output text (
) is not populated by GHA, and the workaround viaGITHUB_STEP_SUMMARY seems tedious, so I guess just downloading the full log and truncating it may be best.
Updated the step to print pull request number to use Python instead of shell script.
Change dummy task to exit with false instead of true.
|
🚧 At least one of the CI tasks failed. HintsTry to run the tests locally, according to the documentation. However, a CI failure may still
Leave a comment here, if you need help tracking down a confusing failure. |
|
ACK |
|
No description provided. |
No description provided.