Add just test

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