improved errorhandling of --rule=
and --rule-file=
/ some related cleanups
#13780
Job | Run time |
---|---|
19s | |
15s | |
34s |
--rule=
and --rule-file=
/ some related cleanups
#13780
Job | Run time |
---|---|
19s | |
15s | |
34s |