Skip to content

Add support for storing if a node is subsumed (#16) #45

Add support for storing if a node is subsumed (#16)

Add support for storing if a node is subsumed (#16) #45

Workflow file for this run

name: Build
on: [push, pull_request]
jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: Swatinem/rust-cache@v2
- run: make test
nits:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: Swatinem/rust-cache@v2
- run: make nits