mirror of
https://github.com/polarity-lang/polarity.git
synced 2025-07-12 23:45:03 +00:00
86f9994473
* Add examples/index.json * Ensure examples index remains in sync * Improve script output * Set permissions in .github/workflows/examples-index.yml
12 lines
288 B
Bash
Executable file
12 lines
288 B
Bash
Executable file
#!/usr/bin/env bash
|
|
# Pre-commit hook
|
|
# Place into `.git/hooks` or use `git config core.hooksPath scripts/git-hooks`
|
|
# from the root of the repository
|
|
|
|
set -e
|
|
|
|
cargo test --all
|
|
cargo clippy --all -- -Dwarnings
|
|
cargo fmt --all --check
|
|
./scripts/check_examples_index.sh
|
|
(cd web; make lint)
|