There are local Git hooks in this repo; they are also used in the remote CI pipeline.
To configure Git to automatically run these hooks in response to Git events, you must change the default hook directory with
git config --local core.hooksPath .githooks
You also need to make all hooks executable with
chmod +x .githooks/*
To run (the bulk of) the CI pipeline locally, simply execute the pre-push
hook as a script
sh .githooks/pre-push
See https://github.com/rust-sketches/ci-github-actions for more information.