Closed coolbrg closed 4 years ago
There is some issue with GitHub workflow. As for the same PR, GitHub CI is not existing with failed status while Travis CI is failing as expected.
See the PR.
There is some issue with GitHub workflow. As for the same PR, GitHub CI is not existing with failed status while Travis CI is failing as expected.
See the PR.