git: e5b33e6eef7d - main - style.yml: Don't run this on branch pushes
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 07 Jan 2024 03:53:44 UTC
The branch main has been updated by imp: URL: https://cgit.FreeBSD.org/src/commit/?id=e5b33e6eef7d5cf0718b08376f27b1fbf97ae74f commit e5b33e6eef7d5cf0718b08376f27b1fbf97ae74f Author: Warner Losh <imp@FreeBSD.org> AuthorDate: 2024-01-07 03:46:42 +0000 Commit: Warner Losh <imp@FreeBSD.org> CommitDate: 2024-01-07 03:46:42 +0000 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 --- .github/workflows/style.yml | 6 ------ 1 file changed, 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