I had a glance at the closed PRs at the GitHub.
I found that some PRs didn't pass any/all tests (av,ci), but they still got merged. For example, this one <https://github.com/JuliaLang/julia/pull/15122> So I wonder why
I had a glance at the closed PRs at the GitHub.
I found that some PRs didn't pass any/all tests (av,ci), but they still got merged. For example, this one <https://github.com/JuliaLang/julia/pull/15122> So I wonder why