admin/brew
1
0
Fork 0
Code Issues Packages Projects Releases 6 Wiki Activity

actions/tests: Run brew style and brew man before brew tests

Browse Source 
- The style and man page checks are quicker than `brew tests`, which can
  take forever.
- If people make mistakes with style or forget to run `brew man`, they
  will notice quicker, thus fixing issues quicker.
- This also wastes less compute time (and therefore energy) by only
  running `brew tests` when all the other less-involved checks work.
This commit is contained in:
Issy Long 2020-03-19 19:17:26 +00:00
parent f527f03fb5
commit 1da81c675f
No known key found for this signature in database
GPG Key ID: 8247C390DADC67D4
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
.github/workflows/tests.yml vendored
View File

@ -78,6 +78,12 @@ jobs:
sudo chmod -R g-w,o-w /home/linuxbrew /home/runner /opt sudo chmod -R g-w,o-w /home/linuxbrew /home/runner /opt
fi fi
- name: Run brew style
run: brew style --display-cop-names
- name: Run brew man
run: brew man --fail-if-changed
- name: Run brew tests - name: Run brew tests
run: | run: |
# brew tests doesn't like world writable directories # brew tests doesn't like world writable directories
@ -107,12 +113,6 @@ jobs:
# These cannot be queried at the macOS level on GitHub Actions. # These cannot be queried at the macOS level on GitHub Actions.
HOMEBREW_LANGUAGES: en-GB HOMEBREW_LANGUAGES: en-GB
- name: Run brew style
run: brew style --display-cop-names
- name: Run brew man
run: brew man --fail-if-changed
- name: Run brew update-tests - name: Run brew update-tests
run: | run: |
git config --global user.name "BrewTestBot" git config --global user.name "BrewTestBot"