2023-06-01 17:21:31 +03:00
|
|
|
name: CI Docs
|
|
|
|
on:
|
|
|
|
push:
|
2023-06-27 18:55:07 +03:00
|
|
|
branches:
|
|
|
|
- main
|
2023-06-26 20:21:51 +03:00
|
|
|
pull_request_target:
|
2023-06-01 17:21:31 +03:00
|
|
|
jobs:
|
|
|
|
docs-build:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v3
|
2023-07-05 10:24:46 +03:00
|
|
|
if: github.event_name == 'push'
|
2023-06-30 11:35:59 +03:00
|
|
|
with:
|
2023-07-05 01:04:05 +03:00
|
|
|
ref: ${{ github.head_ref || github.ref_name }}
|
2023-07-05 10:24:46 +03:00
|
|
|
- uses: actions/checkout@v3
|
|
|
|
if: github.event_name == 'pull_request_target'
|
|
|
|
with:
|
|
|
|
ref: "refs/pull/${{ github.event.number }}/merge"
|
2023-06-01 17:21:31 +03:00
|
|
|
- name: Setup Node.js
|
|
|
|
uses: actions/setup-node@v3
|
|
|
|
with:
|
|
|
|
node-version: "18"
|
|
|
|
- name: Docs / Install Dependencies
|
2023-06-14 17:56:29 +03:00
|
|
|
run: cd docs && yarn
|
2023-06-01 17:21:31 +03:00
|
|
|
- name: Docs / Build Documentation
|
2023-06-14 17:56:29 +03:00
|
|
|
run: cd docs && yarn build
|