mirror of https://github.com/MariaDB/server
Browse Source
option In practice, only the last run of the test was counted Add a separate counter rep_failures for failures before last runpull/374/head
2 changed files with 15 additions and 2 deletions
Loading…
Reference in new issue