diff options
| author | Warner Losh <imp@FreeBSD.org> | 2024-01-06 20:46:42 -0700 |
|---|---|---|
| committer | Warner Losh <imp@FreeBSD.org> | 2024-01-06 20:46:42 -0700 |
| commit | e5b33e6eef7d5cf0718b08376f27b1fbf97ae74f (patch) | |
| tree | eddfc023fbbd1de3a82d27a9999810c84badc944 /.github | |
| parent | dbee52c9d6009539992b19c649cdfb4352921b61 (diff) | |
style.yml: Don't run this on branch pushes
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
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/style.yml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/.github/workflows/style.yml b/.github/workflows/style.yml index a84d32b65c04..a4d5adb90df3 100644 --- a/.github/workflows/style.yml +++ b/.github/workflows/style.yml @@ -7,8 +7,6 @@ name: Style Checker # is proving elusive, so optimizations welcome. on: - push: - branches: [ main, 'stable/13', 'stable/14' ] pull_request: # maybe pull_request_target branches: [ main ] types: [ opened, reopened, edited ] @@ -26,10 +24,6 @@ jobs: with: fetch-depth: 0 ref: ${{ github.event.pull_request.head.sha }} - - name: Dump GitHub context - env: - GITHUB_CONTEXT: ${{ toJson(github) }} - run: echo "$GITHUB_CONTEXT" - name: Install packages run: | sudo apt-get update --quiet || true |