[ci] Break off linting into its own job - Githubissues

lowRISC / manticore

Apache License 2.0

16 stars 13 forks source link

[ci] Break off linting into its own job #95

Closed mcy closed 3 years ago

mcy commented 3 years ago

This should stop format/clippy errors from blocking the build altogether.

Signed-off-by: Miguel Young de la Sota mcyoung@google.com