af2d2ff198
Releases can be made or PRs can be merged even if the workflow is failing
Releases can be made or PRs can be merged even if the workflow is failing