2023-01-10 12:42:40 +01:00
|
|
|
name: check-commits
|
2020-12-04 17:00:30 +01:00
|
|
|
on:
|
|
|
|
pull_request:
|
2023-01-10 12:42:40 +01:00
|
|
|
types: [opened, reopened, synchronize]
|
2020-12-04 17:00:30 +01:00
|
|
|
jobs:
|
|
|
|
check-commits:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
if: ${{ github.base_ref }}
|
|
|
|
strategy:
|
|
|
|
fail-fast: false
|
|
|
|
matrix:
|
|
|
|
check: [commit-msg, pr_check]
|
|
|
|
steps:
|
2022-10-12 16:29:57 +02:00
|
|
|
- uses: actions/checkout@main
|
2020-12-04 17:00:30 +01:00
|
|
|
with:
|
|
|
|
# Use the SHA of the PR branch as-is, not the PR branch merged
|
|
|
|
# in master (default behavior in GH actions)
|
|
|
|
# See https://github.com/actions/checkout#checkout-pull-request-head-commit-instead-of-merge-commit
|
|
|
|
ref: ${{ github.event.pull_request.head.sha }}
|
|
|
|
fetch-depth: 0
|
|
|
|
- name: Fetch base branch
|
|
|
|
run:
|
|
|
|
git fetch origin '${{ github.base_ref }}:${{ github.base_ref }}'
|
|
|
|
- name: Run checks
|
|
|
|
run: |
|
|
|
|
./dist/tools/${{ matrix.check }}/check.sh "${{ github.base_ref }}"
|