ci.yml

on: [push, pull_request]
name: ci

jobs:
  agda:
    name: agda
    runs-on: ubuntu-latest
    steps:
      - name: Check Out Repo
        uses: actions/checkout@v2
        with:
          submodules: recursive

      - name: Setup Haskell
        uses: haskell/actions/setup@v1
        with:
          ghc-version: '8.10.4'
          enable-stack: true
          stack-version: 'latest'

      - name: Set PATH
        run: |
          echo "$HOME/.local/bin" >> $GITHUB_PATH

      - name: Cache stack workspace
        uses: actions/cache@v2
        id: cache-stack
        with:
          path: ~/.stack
          key: ${{ runner.os }}-stack-ghc-8.10.4-agda-2.6.1.3

      - name: Cache HoTT-Agda build
        uses: actions/cache@v2
        id: cache-hott-agda
        with:
          path: HoTT-Agda/_build
          key: ${{ runner.os }}-hott-agda-${{ hashFiles('HoTT-Agda/_build/**/*.agdai') }}

      - name: Install Agda
        run: stack --resolver lts-17.15 --system-ghc install Agda-2.6.1.3

      - name: Check Pi
        run: make -j3

      - name: Generate html
        if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
        run: |
          ./index.sh
          make html

      - name: Deploy html
        if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
        uses: JamesIves/github-pages-deploy-action@4.1.5
        with:
          branch: gh-pages
          folder: html