Skip to content

Tidy up semantic subtyping #16

Tidy up semantic subtyping

Tidy up semantic subtyping #16

Workflow file for this run

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 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