Check Smithy Files #1651
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
| # This workflow checks if specfic files were modified, | |
| # if they were they require more than one approval from CODEOWNERS | |
| name: Check Smithy Files | |
| on: | |
| pull_request_review: | |
| types: [submitted] | |
| jobs: | |
| require-approvals: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| issues: write | |
| pull-requests: write | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| fetch-depth: 0 | |
| - name: Get Files changed | |
| id: file-changes | |
| shell: bash | |
| env: | |
| GITHUB_HEAD: ${{github.event.pull_request.head.ref}} | |
| run: | |
| # Checks to see if any of the smithy Models are being updated. | |
| # Doing this check allows us to catch things like, missing @javadoc trait documentation or bug in smithy dafny that has not be resolved. | |
| echo "FILES=$(git diff --name-only origin/main origin/${GITHUB_HEAD} | grep '\.smithy$' | tr '\n' ' ')" >> "$GITHUB_OUTPUT" | |
| - name: Check if FILES is not empty | |
| id: comment | |
| env: | |
| PR_NUMBER: ${{ github.event.pull_request.number }} | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| FILES: ${{ steps.file-changes.outputs.FILES }} | |
| if: ${{env.FILES != ''}} | |
| run: | | |
| # TODO: If https://github.com/smithy-lang/smithy-dafny/issues/491 is resolved, remove comment about this issue. | |
| COMMENT="@${{github.event.pull_request.user.login}} and @${{github.actor}}, I noticed you are updating the smithy model files.\nDoes this update need new or updated user documentation?\n Are you adding constraints inside list, map or union? Do you know about this issue: https://github.com/smithy-lang/smithy-dafny/issues/491?" | |
| COMMENT_URL="https://api.github.com/repos/${{ github.repository }}/issues/${PR_NUMBER}/comments" | |
| curl -s -H "Authorization: token ${GITHUB_TOKEN}" -X POST $COMMENT_URL -d "{\"body\":\"$COMMENT\"}" |