Ignored files

This commit is contained in:
Andras Schmelczer 2025-12-07 19:26:50 +00:00
parent 05b46a883f
commit 1f5bbae5ec
6 changed files with 3213 additions and 2985 deletions

View file

@ -42,14 +42,10 @@ jobs:
cd docs
npm ci
- name: Check formatting
- name: Check formatting & spelling
run: |
cd docs
npm run format:check
- name: Check spelling
run: |
cd docs
npm run spell:check
- name: Build documentation