Add code to dump egraphs in egraph-serialize format #4656

Sign in to view logs

Triggered via push September 3, 2024 15:22

dump-egraph

Status Success

Total duration 4m 13s

Artifacts –

tools.yml

on: push

Command-line tools