check-copyright.yml

# Copyright (C) 2020  Matthew Glazar
# See end of file for extended copyright information.

name: check copyright
on:
  push:
  pull_request:
    types: [opened, synchronize]

jobs:
  check_copyright:
    name: check copyright
    runs-on: ubuntu-latest
    container: bash:5.2-alpine3.17
    steps:
      - uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab # v3.5.2

      - run: |
          if ! ./tools/check-file-copyrights; then
            printf '::error ::%s\n' 'Sources are missing copyright headers. Please add copyright headers for any new files you create.'
            exit 1
          fi

# quick-lint-js finds bugs in JavaScript programs.
# Copyright (C) 2020  Matthew Glazar
#
# This file is part of quick-lint-js.
#
# quick-lint-js is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# quick-lint-js is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with quick-lint-js.  If not, see <https://www.gnu.org/licenses/>.