2023-12-11 17:59:14 +01:00
|
|
|
# SPDX-License-Identifier: AGPL-3.0-or-later
|
|
|
|
|
# SPDX-FileCopyrightText: 2023 swt23w23
|
2023-11-12 20:57:31 +01:00
|
|
|
name: Checks
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
pull_request:
|
|
|
|
|
push:
|
|
|
|
|
branches: [main]
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
pre-commit:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v4
|
|
|
|
|
- uses: actions/setup-python@v3
|
|
|
|
|
- uses: pre-commit/action@v3.0.0
|
|
|
|
|
|
|
|
|
|
gitlint:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v4
|
|
|
|
|
with:
|
|
|
|
|
ref: ${{ github.event.pull_request.head.sha }} # otherwise it thinkgs merging is a good idea
|
|
|
|
|
fetch-depth: 0 # required so gitlint can compare a range
|
|
|
|
|
- uses: actions/setup-python@v3
|
|
|
|
|
- name: Install gitlint
|
|
|
|
|
run: pip install gitlint==0.19.1
|
|
|
|
|
- name: gitlint
|
|
|
|
|
if: github.event_name == 'pull_request'
|
|
|
|
|
run: |
|
|
|
|
|
gitlint --commits remotes/origin/$GITHUB_BASE_REF..remotes/origin/$GITHUB_HEAD_REF
|
