Skip to content

Enable Clean URLs to remove index and .html from paths #3

Enable Clean URLs to remove index and .html from paths

Enable Clean URLs to remove index and .html from paths #3

Workflow file for this run

name: Deploy to GitHub Pages
on:
push:
branches:
- main
pull_request:
permissions:
id-token: write
contents: read
pages: write
jobs:
build:
name: Build PlatformPlatform documentation
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- uses: actions/setup-node@v4
with:
node-version: 20
- name: Install Node modules
run: npm ci
- name: Build static pages
run: npm run build
- name: Setup Pages
id: pages
uses: actions/configure-pages@v3
- name: Upload artifact
uses: actions/upload-pages-artifact@v2
with:
path: "doc_build/"
deploy:
name: Deploy PlatformPlatform documentation
if: github.ref == 'refs/heads/main'
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{steps.deployment.outputs.page_url}}
needs: build
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v2