Skip to content

CI : Drop -k and add TIMED=1 pretty-timed to make options

Daniel Hilst requested to merge ci-improves into master

Merge request reports