Merge pull request #10667 from dtrodrigues/pr-man

This commit is contained in:
Dustin Rodrigues
2021-02-22 20:58:42 -05:00
committed by GitHub
2 changed files with 0 additions and 3 deletions
-1
View File
@@ -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?
-----
-2
View File
@@ -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