mirror of
https://github.com/maxkratz/edgedb.git
synced 2024-09-07 23:03:07 +00:00
This PR adds 3 new options to `edb test`: * `edb test --shard 2/5` separates all collected tests into 5 shards, and run the 2nd shard only. The split is supposed to be deterministic. * `edb test --running-times-log` generates a CSV file of time spent on each test. If the file exists, it'll be taken as an input for `--shard` to generate a more even split, and the CSV file will be updated after the run with new average running times. * `edb test --list` outputs a list of all selected tests and exits. The pipeline will fetch from a Gist for `--running-times-log`, and update that Gist if the tests pass in the master branch. Fixes #2201
17 lines
238 B
INI
17 lines
238 B
INI
root = true
|
|
|
|
[*]
|
|
trim_trailing_whitespace = true
|
|
insert_final_newline = true
|
|
|
|
[*.{py,pyx,pxd,pxi,h}]
|
|
indent_size = 4
|
|
indent_style = space
|
|
|
|
[*.yml]
|
|
indent_size = 2
|
|
indent_style = space
|
|
|
|
[ext/*.{c,cpp,h}]
|
|
indent_size = 4
|
|
indent_style = tab
|