Merge branch 'dev' into dumb_PR

This commit is contained in:
Erèbe - Romain Gerard
2022-05-10 13:43:11 +02:00
committed by GitHub

View File

@@ -30,6 +30,9 @@ jobs:
multiline: false
- name: build-linter-utests
run: |
echo "########## LINTER ##########"
cargo fmt --all -- --check --color=always || (echo "Use cargo fmt to format your code"; exit 1)
cargo clippy --all --all-features --lib -- -D warnings || (echo "Solve your clippy warnings to continue"; exit 1)
export PATH=$GITHUB_WORKSPACE/bin:$PATH
export RUSTC_WRAPPER=$GITHUB_WORKSPACE/bin/sccache
export TF_PLUGIN_CACHE_DIR=$HOME/.terraform.d/plugin-cache
@@ -40,9 +43,6 @@ jobs:
echo "########## SHARED CACHE STATUS ##########"
sccache --version
sccache --show-stats
echo "########## LINTER ##########"
cargo fmt --all -- --check --color=always || (echo "Use cargo fmt to format your code"; exit 1)
cargo clippy --all --all-features --lib -- -D warnings || (echo "Solve your clippy warnings to continue"; exit 1)
echo "########## START BUILD ##########"
cargo build --all-features --tests
sccache --show-stats