aboutsummaryrefslogtreecommitdiff
path: root/scripts/ci
diff options
context:
space:
mode:
authorDaniel Gröber <dxld@darkboxed.org>2019-07-30 16:37:20 +0200
committerDaniel Gröber (dxld) <dxld@darkboxed.org>2019-09-17 17:48:26 +0200
commit99140dbf830caac283385389e383b816a0946462 (patch)
treefa544c9b14ef07193401351cfa4698824859e6fb /scripts/ci
parent6b847c923ec62d18e99a30858efc3506cee32dca (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