Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
As was realized in other projects, this conditional skipping of the step doesn't play well with required status checks, which don't run and therefore block the merging of PRs. Signed-off-by: Gus Monod <gmonod1@bloomberg.net>
- Loading branch information