(Gerd) Add base image #34
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
| on: issue_comment | |
| jobs: | |
| review-pr: | |
| name: Review PR | |
| if: ${{ github.event.issue.pull_request && startsWith(github.event.comment.body, '/check') && github.event.sender.id == github.event.issue.user.id }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Add Comment | |
| run: gh issue comment "$NUMBER" --body "$BODY" | |
| env: | |
| GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| GH_REPO: ${{ github.repository }} | |
| NUMBER: ${{ github.event.issue.number }} | |
| BODY: > | |
| This PR is not ready for review. | |
| - name: Run Linter | |
| run: bash scripts/linter.sh | |
| - name: Fail PR | |
| uses: actions/github-script@v7 | |
| with: | |
| script: core.setFailed('This PR is not ready for review.') | |
| # merge-pr: | |
| # name: Merge PR Request | |
| # runs-on: ubuntu-latest | |
| # needs: review-pr | |
| # environment: live | |
| # steps: | |
| # - uses: actions/github-script@v7 | |
| # with: | |
| # script: core.setFailed('This PR is not ready for review.') |