diff options
| author | Marco Ieni <11428655+MarcoIeni@users.noreply.github.com> | 2020-11-22 17:26:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-22 11:26:21 -0500 |
| commit | 2289337b0af5743a4dc22b4fbfc819f1bf515a14 (patch) | |
| tree | 25d9bfd849772a09255f1b60bf23b5f4237de137 | |
| parent | 005e3568b95131f4aa2cae59fc30a513afb9b3a5 (diff) | |
ci: verify code is well formatted (#393)
Signed-off-by: MarcoIeni <11428655+MarcoIeni@users.noreply.github.com>
| -rwxr-xr-x | etc/ci/script.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/etc/ci/script.sh b/etc/ci/script.sh index e6e505ad..b71212ab 100755 --- a/etc/ci/script.sh +++ b/etc/ci/script.sh @@ -2,6 +2,9 @@ set -ex +# verify code is well formatted +cargo fmt --all -- --check + # Incorporate TARGET env var to the build and test process cargo build --target "$TARGET" --verbose |