test.yml

name: test

on:
  push:
    branches:
      - 'master'
  pull_request:

jobs:
  linux:
    strategy:
      matrix:
        agda: [2.6.4]
        hackageDate: ["2023-12-01"]
        hackageTime: ["20:29:20"]
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v1
    - uses: actions/cache@v2
      with:
        path: ~/.cabal/store
        key: "cabal-${{ runner.os }}-${{ matrix.agda }}-${{ matrix.hackageDate }}-${{ matrix.hackageTime }}"
    - name: install cabal
      run: sudo apt-get install -y cabal-install
    - name: cabal update
      run: cabal v2-update "hackage.haskell.org,${{ matrix.hackageDate }}T${{ matrix.hackageTime }}Z"
    - name: cabal install
      run: |
        cabal install --lib text bytestring scientific vector aeson --package-env .
        cabal install --allow-newer Agda-${{ matrix.agda }}
    - name: check targets
      run: |
        ~/.local/bin/agda Everything.agda
    - name: build executables
      run: |
        ~/.local/bin/agda --compile PrettyPrinter.agda
        ~/.local/bin/agda --compile Interpreter.agda
    - name: clone Luau
      uses: actions/checkout@v2
      with:
        repository: Roblox/luau
        ref: master
        path: luau
    - name: cmake configure
      run: |
        mkdir -p build
        cd build
        cmake ../luau
    - name: cmake build luau-ast
      run: |
        cmake --build ./build --target Luau.Ast.CLI -j 3
    - name: run tests
      run: |
        mkdir test-failures
        python tests.py -l ./build/luau-ast --write-diff-failures --diff-failure-location test-failures/
    - uses: actions/upload-artifact@v2
      if: failure()
      with:
        name: test failures
        path: test-failures
        retention-days: 5