diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2022-08-10 11:53:05 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2022-08-10 12:07:40 +0200 |
| commit | a6201f1167d158d5a0538c3d29bc3b2bebb0a4fd (patch) | |
| tree | 1b21c413aa71c4b560d8357da4fd57779e8cf292 /.github | |
| parent | 8fad22bf840fc968171bee6cf294f026eb1e0d3a (diff) | |
Makefile: split presubmit_arch_other target
presubmit_arch_other is now the slowest presubmit step taking 7-8 mins.
Split it per OS.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8c4dc4f07..79be83868 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -79,7 +79,7 @@ jobs: runs-on: ubuntu-latest strategy: matrix: - target: [presubmit_arch_linux, presubmit_arch_freebsd, presubmit_arch_other, presubmit_arch_executor] + target: [presubmit_arch_linux, presubmit_arch_freebsd, presubmit_arch_netbsd, presubmit_arch_openbsd, presubmit_arch_darwin, presubmit_arch_windows, presubmit_arch_executor] steps: - name: checkout uses: actions/checkout@629c2de402a417ea7690ca6ce3f33229e27606a5 # v2 |