Update readmes #199
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
| # Checks that every updated file has an appropriate copyright notice. | |
| # | |
| # @copyright Galois, Inc | |
| # @author Marcella Hastings <marcella@galois.com> | |
| # | |
| name: Copyright check | |
| on: | |
| pull_request: | |
| branches: | |
| - master | |
| jobs: | |
| copyright-check: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - id: checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 0 | |
| - name: "Run copyright script" | |
| run: | | |
| # The filter excludes files that were removed | |
| changed_files=$(git diff --name-only --diff-filter ACMRT ${{ github.event.pull_request.base.sha }} ${{ github.sha }}) | |
| # NB: this will fail if any files have spaces in the names | |
| bash scripts/check_copyright.sh $changed_files | |