Guillaume Gomez
|
b7fe005eef
|
Greatly improve limitation handling on parallel rustdoc GUI test run
|
2021-08-23 14:23:59 +02:00 |
|
Guillaume Gomez
|
fe025a71a1
|
Rollup merge of #88082 - GuillaumeGomez:rustdoc-gui-jobs-opt, r=dns2utf8
Take into account jobs number for rustdoc GUI tests
Fixes #88054.
r? `@Mark-Simulacrum`
|
2021-08-18 19:55:00 +02:00 |
|
Stefan Schindler
|
5e4657d3f7
|
Fix double output of the summary line
|
2021-08-16 21:50:12 +02:00 |
|
Guillaume Gomez
|
9c21da6ece
|
Take into account jobs number for rustdoc gui tests
|
2021-08-16 19:22:27 +02:00 |
|
Stefan Schindler
|
7f2b52b1d6
|
More spacing between the different blocks of results
|
2021-08-14 23:36:17 +02:00 |
|
Stefan Schindler
|
86fa21cda5
|
Implement a finish method for the status_bar and some cleanup
|
2021-08-14 23:19:28 +02:00 |
|
Stefan Schindler
|
c17628be18
|
Implement summarised results
|
2021-08-10 00:47:05 +02:00 |
|
Stefan Schindler
|
eca2b3be3d
|
Switch to stderr for failed tests
|
2021-08-10 00:47:05 +02:00 |
|
Stefan Schindler
|
e540aa08b4
|
Review by @GuillaumeGomez
Co-authored-by: Guillaume Gomez <guillaume1.gomez@gmail.com>
|
2021-08-10 00:47:04 +02:00 |
|
Stefan Schindler
|
40136e1969
|
Implement sequential execution
|
2021-08-10 00:47:04 +02:00 |
|
Stefan Schindler
|
a1daa8d984
|
Capture outputs and show output when debug flag is passed
|
2021-08-10 00:47:04 +02:00 |
|
Stefan Schindler
|
c4eefc3be1
|
Run rustdoc-gui tests in parallel
|
2021-08-10 00:47:04 +02:00 |
|
Guillaume Gomez
|
95c1bf6000
|
Allow to pass arguments to rustdoc-gui tool
|
2021-06-16 11:54:19 +02:00 |
|
Guillaume Gomez
|
6a66b79fb6
|
Allow to run only a few GUI tests
|
2021-06-14 16:40:10 +02:00 |
|
Guillaume Gomez
|
e9b1283bdf
|
Add some commented options that could be useful for other contributors in rustdoc-gui tool
|
2021-05-31 10:30:16 +02:00 |
|
Guillaume Gomez
|
919bfd86d9
|
Don't stop running rustdoc-gui tests at first failure
|
2021-05-07 16:51:00 +02:00 |
|
Guillaume Gomez
|
50b39b2b65
|
Add new rustdoc-gui test suite
|
2021-02-21 14:21:04 +01:00 |
|