Skip to content

Readd package_repository setting lost via copy paste #8

Readd package_repository setting lost via copy paste

Readd package_repository setting lost via copy paste #8

Workflow file for this run

name: copyright
on:
pull_request:
paths:
- 'src/**'
- '!**.md'
push:
paths:
- 'src/**'
- '!**.md'
workflow_dispatch:
jobs:
main:
name: Enforce copyright notices
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: 3
- name: Run copyright checker
run: |
bash ./src/build_utils/license/apply_copyright
if [[ "$(git status | grep modified)" != "" ]]; then
echo "Some sourcefiles are missing copyright notice!" 1>&2
echo "Run ./src/build_utils/license/apply_copyright to apply." 1>&2
exit 1
fi