Merge pull request #15519 from fuweid/remove-tee-in-ci

chore: introduce strict bash mode for scripts,.github
This commit is contained in:
Benjamin Wang
2023-03-23 06:28:02 +08:00
committed by GitHub
29 changed files with 137 additions and 69 deletions

View File

@@ -18,5 +18,11 @@ jobs:
with:
version: '3.14.0'
repo-token: ${{ secrets.GITHUB_TOKEN }}
- run: make verify
- run: make fix
- run: |
set -euo pipefail
make verify
- run: |
set -euo pipefail
make fix