Skip to content

[#12494] Allow instructors to use start/end dates up to 12 months in … #14

[#12494] Allow instructors to use start/end dates up to 12 months in …

[#12494] Allow instructors to use start/end dates up to 12 months in … #14

Workflow file for this run

name: Build Developer Guide
on:
push:
branches:
- master
pull_request:
branches:
- master
jobs:
build:
runs-on: ubuntu-latest
name: Dev docs
defaults:
run:
shell: bash
working-directory: docs
steps:
- uses: actions/checkout@v3
- uses: actions/setup-node@v3
with:
node-version: 16
- uses: actions/setup-java@v3
with:
java-version: '11'
distribution: 'temurin'
- name: Install Graphviz
run: sudo apt install graphviz
- run: npm ci
- run: npm run build
- name: Check build status
run: |
if [ ! -d "./_site" ]; then
echo "Build Error"
exit 1
fi
- name: Deploy on push
if: ${{ success() && github.event_name == 'push' }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: npm run deploy