Add recursive prover unit test in CI #141

Closed as not planned

opened

We will have to set up the server to run this test

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests