mirror of
https://github.com/freebsd/freebsd-src
synced 2024-10-15 21:05:08 +00:00
e5b33e6eef
We don't need to run this on branch pushes, just pull requests. It's designed to be a gross filter for incoming commits, not something perfect we need to keep green. It also doesn't work quite right for branch pushes anyway and needs adjustment. Also remove some debugging information. We don't need it anymore. Noticed by: jrtc27 Sponsored by: Netflix
35 lines
1.2 KiB
YAML
35 lines
1.2 KiB
YAML
name: Style Checker
|
|
|
|
# Runs my simple style(9) checker on any pushes or pull requests. It could be
|
|
# optimized by fetching the pull request head branch back to main revisions and
|
|
# running on that. That would reduce the run time from 3-4 minutes down to 30-40
|
|
# seconds. Getting the right series of clone + fetches to get that iteratively
|
|
# is proving elusive, so optimizations welcome.
|
|
|
|
on:
|
|
pull_request: # maybe pull_request_target
|
|
branches: [ main ]
|
|
types: [ opened, reopened, edited ]
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
jobs:
|
|
build:
|
|
name: Style Checker
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: checkout
|
|
uses: actions/checkout@v4
|
|
with:
|
|
fetch-depth: 0
|
|
ref: ${{ github.event.pull_request.head.sha }}
|
|
- name: Install packages
|
|
run: |
|
|
sudo apt-get update --quiet || true
|
|
sudo apt-get -yq --no-install-suggests --no-install-recommends install perl
|
|
- name: Run checker
|
|
run: |
|
|
sha=$(git merge-base ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }})
|
|
tools/build/checkstyle9.pl ${sha}..${{ github.event.pull_request.head.sha }}
|