Skip to content

PED file validation #110

PED file validation

PED file validation #110

Workflow file for this run

name: documentation
on:
pull_request:
branches: [main]
paths:
- 'website/**'
push:
branches: [main]
paths:
- 'website/**'
jobs:
Test:
if: github.event_name != 'push'
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
lfs: 'true'
- uses: actions/setup-node@v3
with:
node-version: '18.x'
- name: Test Build
run: |
cd website
if [ -e yarn.lock ]; then yarn install --frozen-lockfile;
elif [ -e package-lock.json ]; then npm ci;
else npm i;
fi
npm run build
Deploy:
if: github.event_name != 'pull_request'
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
lfs: 'true'
- uses: actions/setup-node@v3
with:
node-version: '18.x'
- name: Release to GitHub Pages
env:
USE_SSH: true
GIT_USER: git
run: |
git config --global user.email "[email protected]"
git config --global user.name "gh-actions"
cd website
if [ -e yarn.lock ]; then yarn install --frozen-lockfile;
elif [ -e package-lock.json ]; then npm ci;
else npm i;
fi
npx docusaurus build
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./website/build