Closed marfox closed 2 years ago
When submitting a new PR, the CI workflow should be:
However, point 3 doesn't happen, and the build remains failed, which is misleading. See for instance #443.
When submitting a new PR, the CI workflow should be:
However, point 3 doesn't happen, and the build remains failed, which is misleading. See for instance #443.