egraph-serialize 0.3.0

A library to serialize e-graphs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

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