diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2021-12-21 13:57:26 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2021-12-21 18:52:46 +0100 |
| commit | c6f13480f3e562921f700b3e4f878ca5d54d958f (patch) | |
| tree | f6d9ad5ff41ed2bad1398df19b216caa1f686080 /executor/executor_test.h | |
| parent | 5911a9c70592ec2cf05c7c342f54f567dfe1901d (diff) | |
.github/workflows: split work across more jobs
CI become quite slow, especially the 'arch' job.
Split it into 3 separate jobs.
Also split main build/lint/test from all of the aux checks.
Update #2886
Diffstat (limited to 'executor/executor_test.h')
0 files changed, 0 insertions, 0 deletions