You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Dec 27, 2023. It is now read-only.
When --skip-file is used with --skip-tests, merge of the two is not well
done and we have some missing tests in the skip rule. With this patch we
introduce a new variable storing both of skip options in a regex format.
Signed-off-by: Andrea Cervesato <[email protected]>
0 commit comments