Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-04 05:00:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

Merge pull request #3393 from jdm/wptchunk2

Browse source 
Reenable the second wpt chunk.
This commit is contained in:
Josh Matthews 2014-09-19 10:49:54 -04:00
commit fbd91de48b
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/ci/travis.script.sh
View file

@ -30,7 +30,7 @@ for t in "${tasks[@]}"; do
test-wpt1)
./mach test-wpt --processes=2 --total-chunks=2 --this-chunk=1
;;
test-wpt1)
test-wpt2)
./mach test-wpt --processes=2 --total-chunks=2 --this-chunk=2
;;
push-doc)