minitt 0.1.1

Mini-TT, a dependently-typed lambda calculus, implementated in Rust
Documentation
version: 2.1

jobs:
  build:
    docker:
      - image: circleci/rust:latest

    steps:
      - checkout
      - restore_cache:
          key: project-cache
      - run:
          name: Install Nightly Compiler
          command: rustup install nightly
      - run:
          name: Check formatting
          command: |
            rustup component add rustfmt
            rustfmt --version
            cargo fmt -- --check
      - run:
          name: Nightly Build
          command: |
            rustup run nightly rustc --version --verbose
            rustup run nightly cargo --version --verbose
            rustup run nightly cargo build
      - run:
          name: Stable Build
          command: |
            rustup install stable
            rustup run stable rustc --version --verbose
            rustup run stable cargo --version --verbose
            rustup run stable cargo build
      - run:
          name: Test
          command: rustup run stable cargo test
      # - run:
          # name: Upload Coverage
          # command: ./scripts/codecov.sh
      - save_cache:
          key: project-cache
          paths:
            - "/usr/local/cargo/registry"
            - "~/.cargo"
            - "./target"