improved errorhandling of --rule=
and --rule-file=
/ some related…
#11841
Job | Run time |
---|---|
1m 40s | |
3m 34s | |
4m 0s | |
3m 5s | |
3m 15s | |
3m 23s | |
18m 57s |
--rule=
and --rule-file=
/ some related…
#11841
Job | Run time |
---|---|
1m 40s | |
3m 34s | |
4m 0s | |
3m 5s | |
3m 15s | |
3m 23s | |
18m 57s |