ci: put a space after directory names in user-visible messages

- this makes is much easier to double-click-select the directory,
  since the . isn't attached and won't be selected along with the
  directory anymore.
main
Adriaan de Groot 5 years ago
parent 4c8a624c0b
commit c1d7d3daa6
Loading…
Cancel
Save