generate-website.yml

name: generate-website

on:
  push:
    branches: [master]
  pull_request:
  schedule:
    - cron: 10 14 * * * # 10 minutes after 101 slot starts (UTC timezone)

jobs:

  build-and-deploy:
    runs-on: ubuntu-latest
    env:
      DEPLOY: ${{ github.event_name != 'pull_request' && github.ref == 'refs/heads/master' }}
    steps:
      ##### Setup ##############################################
      - name: Checkout repository
        uses: actions/checkout@v3

      - name: Detect if we should rebuild the binaries
        uses: dorny/paths-filter@v2
        id: changes
        if: github.event_name != 'schedule'
        with:
          filters: |
            haskell-changed:
              - '*.hs'

      - name: Install cabal and GHC
        if: github.event_name != 'schedule' && steps.changes.outputs.haskell-changed == 'true'
        uses: haskell/actions/setup@v2
        with:
          ghc-version: 'latest'
          cabal-version: 'latest'

      - name: Cache cabal and executables
        uses: actions/cache@v3
        with:
          path: |
            ~/.cabal/store
            ~/_dist
            ~/.cabal/bin/
          key: cabal-${{ runner.os }}

      ##### Installation #######################################
      - name: Install Generate[101]
        if: github.event_name != 'schedule' && steps.changes.outputs.haskell-changed == 'true'
        run: cabal install --overwrite-policy=always --builddir _dist

      - name: Add .cabal/bin to PATH
        run: echo ~/.cabal/bin >> $GITHUB_PATH

      ##### Generation #########################################

      - name: Generate 101
        run: Generate101

      - name: Generate website
        run: Generate

      ##### Deployment #########################################

      - name: Deploy to branch
        if: ${{ env.DEPLOY }}
        uses: s0/git-publish-subdir-action@develop
        env:
          REPO: self
          BRANCH: build
          FOLDER: _build
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

      - name: Trigger pull at website
        if: ${{ env.DEPLOY }}
        shell: bash
        env:
          PASSPHRASE: ${{ secrets.WEBHOOK_PASSPHRASE }}
        run: |
          curl -X POST -d "secret=$PASSPHRASE" https://msp.cis.strath.ac.uk/webhook.php