message: Run Rust tests as part of workflow
diff: @@ -25,6 +25,48 @@ on:
  name: Workflow checks for rust code
  jobs:
  + test:
  + runs-on: ubuntu-latest
  + strategy:
  + matrix:
  + test-code: ["cd bril-rs && make test TURNTARGS=-v", "cd bril-rs && make features", "cd brilirs && make test TURNTARGS=-v", "cd brilirs && make benchmark TURNTARGS=-v"]
  + steps:
  + - uses: actions/checkout@v2
  + - uses: actions-rs/toolchain@v1
  + with:
  + profile: minimal
  + toolchain: stable
  + override: true
  +
  + # This is for checking the powerset of bril-rs features compiles
  + - uses: actions-rs/install@v0.1
  + with:
  + crate: cargo-hack
  + version: latest
  + # One can use the tool cache if compiling this takes to long. Using prebuilt binaries is a security concern... but I guess so is compiling/running code from the internet.
  + #use-tool-cache: true
  +
  + - uses: actions/cache@v2
  + with:
  + path: ~/.cache/pip
  + key: ${{ runner.os }}-pip
  + - uses: actions/setup-python@v2
  + with:
  + python-version: '3.10'
  +
  + - name: Install Flit
  + run: pip install flit
  + - name: Install Python tools
  + run: cd bril-txt ; flit install --symlink
  +
  + - name: Install Turnt
  + run: pip install turnt
  + - name: Problem matcher
  + run: echo '::add-matcher::.github/tap-matcher.json'
  +
  + - name: Run test
  + run: ${{ matrix.test-code }}
  +
  rust-ci:
  runs-on: ubuntu-latest
  strategy:
  