diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 7dd8621f00..ff375f8801 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -5,6 +5,5 @@ - [ ] Have you successfully run `brew style` with your changes locally? - [ ] Have you successfully run `brew typecheck` with your changes locally? - [ ] Have you successfully run `brew tests` with your changes locally? -- [ ] Have you successfully run `brew man` locally and committed any changes? ----- diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 1f683dfec1..497e0f7767 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -31,8 +31,6 @@ jobs: - run: brew style --display-cop-names - - run: brew man --fail-if-changed - - run: brew typecheck - name: Run vale for docs linting