chore: enhance documentation workflow and update GitHub Actions

- Added a new script in package.json to start documentation locally.
- Updated GitHub Actions workflow to enable concurrent deployments for GitHub Pages and included a step to configure GitHub Pages.

These changes improve the documentation development process and streamline deployment to GitHub Pages.
This commit is contained in:
Yury Pikhtarev 2025-07-01 00:33:20 +04:00
commit 84790de7e7
No known key found for this signature in database
2 changed files with 6 additions and 2 deletions

View file

@ -16,7 +16,7 @@ permissions:
# Allow only one concurrent deployment
concurrency:
group: "pages"
cancel-in-progress: false
cancel-in-progress: true
jobs:
build:
@ -31,6 +31,9 @@ jobs:
with:
fetch-depth: 0
- name: Configure GitHub Pages
uses: actions/configure-pages@v4
- name: Setup Node.js
uses: actions/setup-node@v4
with:

View file

@ -9,7 +9,8 @@
"format": "prettier --write resources/",
"format:check": "prettier --check resources/",
"lint": "eslint . --fix",
"types": "tsc --noEmit"
"types": "tsc --noEmit",
"docs": "cd docs && npm run start"
},
"devDependencies": {
"@eslint/js": "^9.19.0",