build-site.yml

name: Deploy site
on:
  push:
  schedule:
    - cron: '47 4 * * 4'

jobs:
  linux1:
    name: Build site
    runs-on: ubuntu-latest
    steps:
    - name: update package database
      run: sudo apt-get update
    - name: install required packages
      run: sudo apt-get install cabal-install php php-curl minify yui-compressor
    - name: update cabal
      run: cabal update
    - name: install pandoc
      run: cabal install pandoc-3.1.2 pandoc-cli --installdir=/tmp/bin
    - name: checkout code
      uses: actions/checkout@v2.3.1
    - name: build the site
      run: make

  linux2:
    name: Look for todos
    runs-on: ubuntu-latest
    steps:
    - name: checkout code
      uses: actions/checkout@v2.3.1
    - name: look for todos
      run: "! grep -i -P '<pre\\s*>|TODO|[?]{3,}' */*.md"

  linux3:
    name: Deploy website
    runs-on: ubuntu-latest
    needs: [linux1, linux2]
    if: github.ref == 'refs/heads/master'
    steps:
    - name: update package database
      run: sudo apt-get update
    - name: install required packages
      run: sudo apt-get install cabal-install minify php php-curl yui-compressor
    - name: update cabal
      run: cabal update
    - name: install pandoc
      run: cabal install pandoc-3.1.2 pandoc-cli --installdir=/tmp/bin
    - name: checkout code
      uses: actions/checkout@v2.3.1
    - name: build the site
      run: make
    - name: deploy site to gh-pages
      uses: JamesIves/github-pages-deploy-action@4.0.0
      with:
        branch: gh-pages
        folder: out_
        single-commit: true