diff options
author | bors-servo <servo-ops@mozilla.com> | 2021-07-24 09:58:13 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-24 09:58:13 -0400 |
commit | d4f37d466e9a5f0325e5d4776948b34596652748 (patch) | |
tree | 1a982d83bd278b08e1c173be301624b264d42fed /components/script/script_thread.rs | |
parent | f5c02966494e3386a6492b5beb38894819aed81c (diff) | |
parent | 36f33ab02c35f22a887c067d2d1cd52532a5a0b4 (diff) | |
download | servo-d4f37d466e9a5f0325e5d4776948b34596652748.tar.gz servo-d4f37d466e9a5f0325e5d4776948b34596652748.zip |
Auto merge of #28547 - yvt:ci-repetition, r=jdm
Optimize repetition in workflow configuration
Replaces 20 CI jobs (`linux-wpt-{1, 2, ..., 20}`) with one with a build matrix.
---
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [ ] These changes fix #___ (GitHub issue number if applicable)
---
- [ ] There are tests for these changes OR
- [x] These changes do not require tests because they only affect the CI pipeline
Diffstat (limited to 'components/script/script_thread.rs')
0 files changed, 0 insertions, 0 deletions