test.yml

# This is a basic workflow to help you get started with Actions

name: Test

defaults:
  run:
    shell: bash
    
# Controls when the action will run. 
on:
  # Triggers the workflow on push or pull request events but only for the master branch
  push:
    branches: [ master, dev, ci ]
  pull_request:
    branches: [ master, dev, ci ]

# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
  build-and-test:
    # Runs on all major platforms 
    runs-on: ${{ matrix.os }} 
    strategy:
      matrix:
        os: [windows-latest, ubuntu-latest, macos-latest]
        agda: ["Agda-2.7.0"]
        # agda: ["Agda-2.6.4", "Agda-2.7.0"]
      fail-fast: false

    # Steps represent a sequence of tasks that will be executed as part of the job
    steps:
      - name: 📥 Checkout repository
        uses: actions/checkout@v4

      # actions:

      - name: ⏬ Setup Haskell environment
        id: haskell-setup
        uses: haskell-actions/setup@v2
        with:
          ghc-version: '9.2.8'
          stack-version: latest
          cabal-update: false
          enable-stack: true

      # $DIST is where the binary & its dependencies is placed
      - name: 🛠️ Setting variables
        run: | 
          echo "STACK_LOCAL_BIN=$(stack path --local-bin)" >> "$GITHUB_ENV"
          echo "DIST=${{ matrix.agda }}-${{ matrix.os }}"  >> "$GITHUB_ENV"

      - name: 🔍 Reviewing variables
        run: |
          echo "runner.os         = ${{ runner.os                               }}"
          echo "ghc-path          = ${{ steps.haskell-setup.outputs.ghc-path    }}"
          echo "ghc-exe           = ${{ steps.haskell-setup.outputs.ghc-exe     }}"
          echo "stack-path        = ${{ steps.haskell-setup.outputs.stack-path  }}"
          echo "stack-exe         = ${{ steps.haskell-setup.outputs.stack-exe   }}"
          echo "stack-root        = ${{ steps.haskell-setup.outputs.stack-root  }}"
          echo "STACK_LOCAL_BIN   = $STACK_LOCAL_BIN"
          echo "DIST              = $DIST"
    
      # cached stuff to be restored:
      - name: 💾 Restore cached stack global package db
        # if : runner.os == 'Windows'
        id:   stack-global
        uses: actions/cache/restore@v4
        with:
          path: ${{ steps.haskell-setup.outputs.stack-root }}
          key: ${{ runner.os }}-stack-global-${{ matrix.agda }}
          restore-keys: |
              ${{ runner.os }}-stack-global

      - name: 💾 Restore stack-installed binaries in ~/.local/bin
        # if : runner.os == 'Windows'
        id:   stack-binaries
        uses: actions/cache/restore@v4
        with:
          path: ${{ env.STACK_LOCAL_BIN  }}
          key: ${{ runner.os }}-stack-binaries-${{ matrix.agda }}
          restore-keys: |
              ${{ runner.os }}-stack-binaries
        
      - name: 💾 Restore Agda from ${{ env.DIST }}
        id:   agda-artefacts
        uses: actions/cache/restore@v4
        with:
          path: ${{ env.DIST  }}
          key: ${{ env.DIST  }}
          restore-keys: |
              ${{ env.DIST  }}
        
      - name: ⏬ Setup Node.js environment
        uses: actions/setup-node@v4
        with:
          node-version: 20.x
      
      - name: 🛠️ Add ${{ env.DIST }} to PATH
        run: echo ${{ env.DIST }} >> $GITHUB_PATH
              
      - name: 🔍 Check if Agda has been installed
        id: check-agda
        continue-on-error: true
        run: |
          which agda
          agda -V
          agda --print-agda-dir

      - name: 📦 Setup ${{ env.DIST }}
        continue-on-error: true
        run: |
          dist=${{ env.DIST }}
          mkdir -p "${dist}"
          mkdir -p "${dist}"/data

      - name: ⏬ Install Agda
        # if: ${{ steps.check-agda.outcome == 'failure'}}
        run: |
          stack install --resolver=lts-20.26 ${{ matrix.agda }}

          # Setting the $Agda_datadir environment variable as "${dist}"/data
          echo "Agda_datadir=${{ env.DIST }}/data"  >> "$GITHUB_ENV"
          echo "Agda_datadir   = $Agda_datadir"
          echo "Agda_datadir   = ${{ env.Agda_datadir }}"

          # Copy Agda_datadir:
          cp -a $(agda --print-agda-dir) ${{ env.Agda_datadir }}

      - name: 📦 Move artefacts to ${{ env.DIST }}
        continue-on-error: true
        run: |
          dist=${{ env.DIST }}

          if [[ ${{ runner.os }} == "Windows" ]]; then
            cp "${{ env.STACK_LOCAL_BIN }}"/agda.exe "${dist}"
            strip "${dist}"/agda.exe
            file "${dist}"/agda.exe
            
          else
            cp "${{ env.STACK_LOCAL_BIN }}"/agda "${dist}"
            strip "${dist}"/agda
            file "${dist}"/agda
          fi
            
          ls -a "${dist}"/data
      
      - name: 🔍 Check if Agda has been installed again
        continue-on-error: true
        run: |
          which agda
          agda -V
          agda --print-agda-dir

      # things to be cached
      - name: 💾 Cache stack global package db
        if:   always() && steps.stack-global.outputs.cache-hit != 'true'
        # if:   always() && steps.stack-global.outputs.cache-hit != 'true' && ${{ runner.os }} == 'Windows'
        uses: actions/cache/save@v4
        with:
          path: ${{ steps.haskell-setup.outputs.stack-root }}
          key: ${{ steps.stack-global.outputs.cache-primary-key }}

      - name: 💾 Cache stack-installed binaries
        if:   always() && steps.stack-binaries.outputs.cache-hit != 'true'
        # if:   always() && steps.stack-binaries.outputs.cache-hit != 'true' && ${{ runner.os }} == 'Windows'
        uses: actions/cache/save@v4
        with:
          path: ${{ env.STACK_LOCAL_BIN }}
          key: ${{ steps.stack-binaries.outputs.cache-primary-key }}
     
      - name: 💾 Cache Agda in ${{ env.DIST  }}
        if:   always() && steps.agda-artefacts.outputs.cache-hit != 'true'
        uses: actions/cache/save@v4
        with:
          path: ${{ env.DIST  }}
          key: ${{ steps.agda-artefacts.outputs.cache-primary-key }}
    
      - name: ⏬ Install NPM Dependencies
        run: npm install
        
      - name: 🔨 Build stuff 
        run: npm run build

      - name: 🚗 Run tests
        run: |
          if [[ ${{ runner.os }} == "Linux" ]]; then
            xvfb-run -a npm test
          else
            npm test
          fi