minitt 0.4.3

Mini-TT, a dependently-typed lambda calculus, extended and (re)implemented in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

name: build

on: [push]

jobs:
  build:
    runs-on: ${{ matrix.os }}
    strategy:
      matrix:
        os: [ubuntu-latest, windows-latest, macOS-latest]
        rust: [stable, nightly]

    steps:
      - uses: actions/checkout@master
      - uses: hecrj/setup-rust-action@v1
        with:
          rust-version: ${{ matrix.rust }}
      - name: Build
        run: cargo build --all-features --release --verbose
      - name: Run tests
        run: cargo test --all-features --release --verbose

      - uses: actions/upload-artifact@master
        if: matrix.os == 'ubuntu-latest' && matrix.rust == 'stable'
        with:
          name: minittc-ubuntu
          path: target/release/minittc

      - uses: actions/upload-artifact@master
        if: matrix.os == 'macOS-latest' && matrix.rust == 'stable'
        with:
          name: minittc-macos
          path: target/release/minittc

      - uses: actions/upload-artifact@master
        if: matrix.os == 'windows-latest' && matrix.rust == 'stable'
        with:
          name: minittc-windows
          path: target/release/minittc.exe