From f59a95c867f997daf14609ac788060272fb1b1ca Mon Sep 17 00:00:00 2001
From: John Lapeyre <jlapeyre@users.noreply.github.com>
Date: Tue, 9 Jan 2024 10:12:33 -0500
Subject: [PATCH] Add local CI instructions to CONTRIBUTING.md

---
 CONTRIBUTING.md | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index f74f9d1..0cb630d 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -1,6 +1,15 @@
-### Pull Requests
+## Pull Requests
 
-Running `cargo clippy` on the branch to be merged must show no errors.
+### Continuous Integration (CI)
+
+All pull requests must pass a CI check before being merged. You can check if CI will pass locally with
+```shell
+cargo fmt --all -- --check && cargo build --verbose && cargo clippy -- -D warnings && cargo test --verbose -- --skip sourcegen_ast --skip sourcegen_ast_nodes
+```
+
+### Clippy
+
+One of the CI items is `cargo clippy`.
 To handle a lot of errors at the command line can use (for unix-like OS) `cargo clippy --color always &| less -R`.