Closed kam193 closed 3 years ago
Travis works on PR, but the results are not present (nor required to merge) in Github. Would be nice to fix it
Yup, tracking in #123.
Travis works on PR, but the results are not present (nor required to merge) in Github. Would be nice to fix it