diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-08-09 13:32:28 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-09 13:32:28 +0000 |
commit | 96a6c7c938fac4227d327e93b4343fdad52a4166 (patch) | |
tree | 36e39fe1d0866acadf130ce9ef4f55f3e7788ce6 | |
parent | 9ef54ab9490895e2373eee891038c24bf5d99081 (diff) | |
parent | 595602ac216851c886ceadace2b204c6776ac947 (diff) |
Merge #3
3: Add license-header check job r=matthiasbeyer a=matthiasbeyer
Co-authored-by: Matthias Beyer <mail@beyermatthias.de>
-rw-r--r-- | .github/workflows/ci.yml | 7 | ||||
-rw-r--r-- | .licenserc.json | 8 |
2 files changed, 15 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cc060ac..df1c5c0 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -138,6 +138,12 @@ jobs: run: pip install gitlint - run: gitlint --commits $(git merge-base origin/master HEAD).. + license: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@master + - name: Check License Lines + uses: kt3k/license_checker@v1.0.6 ci: name: CI if: ${{ success() }} @@ -148,6 +154,7 @@ jobs: - deny - doc - fmt + - license - test runs-on: ubuntu-latest steps: diff --git a/.licenserc.json b/.licenserc.json new file mode 100644 index 0000000..a59891d --- /dev/null +++ b/.licenserc.json @@ -0,0 +1,8 @@ +{ + "**/*.rs": [ + "This Source Code Form is subject to the terms of the Mozilla Public", + "License, v. 2.0. If a copy of the MPL was not distributed with this", + "file, You can obtain one at http://mozilla.org/MPL/2.0/." + ] +} + |