Fix copyright-check script #8
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
name: Copyright checker | ||
on: | ||
issue_comment: | ||
types: [created] | ||
push: | ||
env: | ||
PLATFORM: ubuntu-latest | ||
GO_VERSION: 1.16.x | ||
jobs: | ||
copyright-check: | ||
runs-on: ${{ env.PLATFORM }} | ||
Check failure on line 14 in .github/workflows/copyright-check.yml GitHub Actions / Copyright checkerInvalid workflow file
|
||
steps: | ||
- name: Setup Go | ||
uses: actions/setup-go@v3 | ||
with: | ||
go-version: ${{ env.GO_VERSION }} | ||
- name: Install addlicense | ||
run: | | ||
go install github.com/google/addlicense@latest | ||
- name: Checkout repository | ||
uses: actions/checkout@v3 | ||
# Check license notice in all files | ||
- name: Copyright Check | ||
id: check | ||
run: .maintain/add_license.sh -check | ||
copyright-add: | ||
needs: [copyright-check] | ||
if: contains(github.event.comment.html_url, '/pull/') && contains(github.event.comment.body, '/addlicense') | ||
runs-on: ${{ env.PLATFORM }} | ||
steps: | ||
- name: Checkout repository | ||
uses: actions/checkout@v3 | ||
with: | ||
ref: ${{ github.event.pull_request.head.sha }} | ||
persist-credentials: false | ||
fetch-depth: 0 | ||
- name: Setup Go | ||
uses: actions/setup-go@v3 | ||
with: | ||
go-version: ${{ env.GO_VERSION }} | ||
# Add license if check fails | ||
- name: Add copyright notice | ||
if: jobs.copyright-check.steps.outcome == 'failure' | ||
run: | | ||
.maintain/add_license.sh | ||
remote_repo="https://${GITHUB_ACTOR}:${{ secrets.GITHUB_TOKEN }}@github.com/${GITHUB_REPOSITORY}.git" | ||
git config http.sslVerify false | ||
git config --local user.email "github-actions[bot]@users.noreply.github.com" | ||
git config --local user.name "github-actions[bot]" | ||
git add -A | ||
git commit -m "Add missing license headers" | ||
git push "${remote_repo}" HEAD:${{ github.head_ref }} |