Skip to content
Check copyright

Instead of keeping metadata, combine it with meaningful edges #1618

Sign in to view logs

Instead of keeping metadata, combine it with meaningful edges

Instead of keeping metadata, combine it with meaningful edges #1618

Workflow file for this run

.github/workflows/check-copyright.yml at 8cad4c5
name: Check copyright
on:
push:
pull_request:
types: [opened, synchronize, reopened]
permissions: write-all
concurrency:
group: copyright-${{ github.ref }}
cancel-in-progress: true
jobs:
check-copyright:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9 # v3.5.3
- name: Check copyright
uses: ./.github/actions/check-copyright
- name: Comment
if: failure() && github.event_name == 'pull_request'
uses: thollander/actions-comment-pull-request@dadb7667129e23f12ca3925c90dc5cd7121ab57e
continue-on-error: true # if we are in a fork, this will fail, but we don't care (tables will be missing)
with:
comment_tag: 'copyright'
mode: 'recreate'
message: |
:exclamation: Please run `./gradlew spotlessApply` on your branch to fix copyright headers.
- name: Delete Comment
if: github.event_name == 'pull_request'
uses: thollander/actions-comment-pull-request@dadb7667129e23f12ca3925c90dc5cd7121ab57e
continue-on-error: true # if we are in a fork, this will fail, but we don't care (tables will be missing)
with:
comment_tag: 'copyright'
mode: 'delete'