add mathlib dependency (and move custom toolchain spec to CI as an `e… #70
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Tests | |
| on: | |
| push: | |
| pull_request: | |
| workflow_dispatch: | |
| env: | |
| LEAN_GITHASH: 6fce8f7d5cd18a4419bca7fd51780c71c9b1cc5a | |
| jobs: | |
| ci: | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: | |
| - ubuntu-latest | |
| ocaml-compiler: | |
| - "5.1" | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Set-up OCaml ${{ matrix.ocaml-compiler }} | |
| uses: ocaml/setup-ocaml@v2 | |
| with: | |
| ocaml-compiler: ${{ matrix.ocaml-compiler }} | |
| - run: sudo apt-get install libev-dev | |
| - run: opam install dedukti | |
| - run: opam install lambdapi | |
| - uses: Julian/setup-lean@v1 | |
| - name: set override | |
| run: lake update && elan override set rish987/lean4:lean2dk-v1 | |
| - name: build | |
| run: lake --version && LEAN_GITHASH=6fce8f7d5cd18a4419bca7fd51780c71c9b1cc5a lake build | |
| - name: Test translation | |
| run: eval $(opam env) && lake --version && lake run trans fixtures/Test.lean |