diff --git a/justfile b/justfile index e23fe5ad7..7b0f2fb0f 100644 --- a/justfile +++ b/justfile @@ -1,15 +1,24 @@ export RUSTDOCFLAGS := "-D warnings" +# Run all tests, including end-to-end export validation tests. +# +# This command is designed to be used regularly during CAD kernel development. +# It runs tests to check for code correctness, but accepts warnings in the code +# and does not check formatting or documentation. +# +# For a full build that mirrors the CI build, see `just ci`. +test: + cargo test --all-features + cargo run --package export-validator + # Run a full build that mirrors the CI build # # Basically, if this passes locally, then the CI build should pass too, once you # submit your work as a pull request. Please note that the CI build is # maintained separately from this file. Most deviations in behavior should # probably be considered a bug in this file. -ci: +ci: test cargo fmt --check cargo clippy --all-features -- -D warnings - cargo test --all-features cargo doc --no-deps --document-private-items --all-features --workspace cargo run --package cross-compiler - cargo run --package export-validator