janestreet/magic-trace

Run tests in CI

Closed this issue · 0 comments

Xyene commented

We have a couple of tests, we should figure out how to run them in the CI.