agda-mode 0.1.8

Accessing Agda's interaction mode via command line, 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 agda-tac
      run: cargo build -p agda-tac --release --verbose
    - name: Run agda-tac tests
      run: cargo test -p agda-tac --release --verbose

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

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

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