diff options
| author | w0rp <devw0rp@gmail.com> | 2020-08-27 19:39:16 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2020-08-27 19:39:16 +0100 |
| commit | 6074720dc20cae1031ae5ba84511398be81c5854 (patch) | |
| tree | cbb951a2e4d1899fe69a646568fdcaf249f48f4b /.github | |
| parent | af177d7825a3e78cc2022710d61eff8a685832ec (diff) | |
| download | ale-6074720dc20cae1031ae5ba84511398be81c5854.zip | |
Mention --fast, and document running Windows tests locally
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions