Skip to content

Get serialized egraph back from extraction-gym #151

Get serialized egraph back from extraction-gym

Get serialized egraph back from extraction-gym #151

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