drop the vale step added to pre-push
This commit is contained in:
parent
9ed7ebab91
commit
d5547725cf
1 changed files with 0 additions and 6 deletions
|
|
@ -45,11 +45,5 @@ if ! sh "$repo_root/scripts/check-dashboard-service-names.sh"; then
|
|||
exit 1
|
||||
fi
|
||||
|
||||
echo "pre-push: running prose lint (vale)..." >&2
|
||||
if ! (cd "$repo_root" && nix run --inputs-from . .#vale -- docs); then
|
||||
echo "pre-push: prose lint FAILED — fix before pushing" >&2
|
||||
exit 1
|
||||
fi
|
||||
|
||||
echo "pre-push: lints passed ✓" >&2
|
||||
exit 0
|
||||
|
|
|
|||
Loading…
Reference in a new issue