diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2019-07-30 16:37:20 +0200 |
|---|---|---|
| committer | Daniel Gröber (dxld) <dxld@darkboxed.org> | 2019-09-17 17:48:26 +0200 |
| commit | 99140dbf830caac283385389e383b816a0946462 (patch) | |
| tree | fa544c9b14ef07193401351cfa4698824859e6fb /scripts/ci | |
| parent | 6b847c923ec62d18e99a30858efc3506cee32dca (diff) | |
ghc-session: Output test specs of tests being run
The strings under the "Going to Run These Tests" heading can be plugged
right back into the commandline to run just that test.
Diffstat (limited to 'scripts/ci')
0 files changed, 0 insertions, 0 deletions