From d483a04d70a75104821458ffc706a57b5c9220ac Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ole=20Kr=C3=BCger?= Date: Wed, 14 Feb 2024 16:05:05 +0000 Subject: [PATCH] RISC-V: Check that Cargo.lock files aren't changed in CI --- etherlink/kernel_evm/Makefile | 1 + src/risc_v/Makefile | 1 + src/risc_v/dummy_kernel/Makefile | 3 ++- src/risc_v/jstz/Makefile | 3 ++- 4 files changed, 6 insertions(+), 2 deletions(-) diff --git a/etherlink/kernel_evm/Makefile b/etherlink/kernel_evm/Makefile index 990b968f8fee..d9499b1bf048 100644 --- a/etherlink/kernel_evm/Makefile +++ b/etherlink/kernel_evm/Makefile @@ -48,6 +48,7 @@ test: .PHONY: check check: + @cargo update --workspace --locked @cargo clippy --all-targets --features testing -- --deny warnings .PHONY: check-all diff --git a/src/risc_v/Makefile b/src/risc_v/Makefile index 3a763cf403dd..85124919bc39 100644 --- a/src/risc_v/Makefile +++ b/src/risc_v/Makefile @@ -35,6 +35,7 @@ test: .PHONY: check check: + @cargo update --workspace --locked @cargo check --workspace --all-targets @cargo clippy --workspace --all-targets -- --deny warnings @taplo format --check $(shell git ls-files '**/Cargo.toml') diff --git a/src/risc_v/dummy_kernel/Makefile b/src/risc_v/dummy_kernel/Makefile index d8cb6173ae88..efb98f31a154 100644 --- a/src/risc_v/dummy_kernel/Makefile +++ b/src/risc_v/dummy_kernel/Makefile @@ -15,8 +15,9 @@ test: .PHONY: check check: + @cargo check --workspace --locked @cargo fmt --check - cargo clippy -- --deny warnings + @cargo clippy -- --deny warnings .PHONY: clean clean: diff --git a/src/risc_v/jstz/Makefile b/src/risc_v/jstz/Makefile index 3c7aa83e4941..973c0bb3ffdb 100644 --- a/src/risc_v/jstz/Makefile +++ b/src/risc_v/jstz/Makefile @@ -24,8 +24,9 @@ run: .PHONY: check check: + @cargo check --workspace --locked @cargo fmt --check - cargo clippy -- --deny warnings + @cargo clippy -- --deny warnings .PHONY: clean clean: -- GitLab