CI.yml

name: CI

on:
  push:
    branches:
      - master
  pull_request:
  workflow_dispatch:

jobs:
  BuildAndDeploy:
    runs-on: ubuntu-latest
    permissions: write-all
    steps:
      - uses: actions/checkout@v4
        with:
          persist-credentials: false

      - uses: julia-actions/setup-julia@v1
        with:
          version: "1"

      - uses: julia-actions/cache@v1

      - run: julia --color=yes --project -e 'using Pkg; Pkg.instantiate()'

      - run: julia --project -e 'using KeyNotes; KeyNotes.build()'

      - name: Deploy
        if: ${{ github.event_name != 'pull_request' }}
        uses: peaceiris/actions-gh-pages@v3
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          # To avoid missing bugs and to keep the gh-pages repository small.
          force_orphan: true
          publish_dir: ./_build/