Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: Change format warning to notice, and succeed the job if step fails
Github only has 2 states for the result of a job, either success or error. A warning state would be nice but isn't available. We still add a notice to changed files to suggest contributors to format. Signed-off-by: Pieter De Gendt <[email protected]>
- Loading branch information