Improve CI (#181)

This commit is contained in:
Andras Schmelczer 2025-12-10 22:03:13 +00:00 committed by GitHub
parent 8e4ac3a26a
commit 9ac7fdbeb7
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
10 changed files with 44 additions and 33 deletions

12
scripts/build-docs.sh Normal file
View file

@ -0,0 +1,12 @@
#!/usr/bin/env bash
set -e
cd docs
npm ci
npm run format:check
npm run spell:check
npm run build
cd -

View file

@ -20,7 +20,7 @@ else
cargo fmt --all -- --check
fi
cargo install cargo-machete
which cargo-machete || cargo install cargo-machete
cargo machete --with-metadata
echo "Running checks in frontend"