Closed tomyrd closed 2 weeks ago
This PR adds remote prover support for the web client along with some make commands to easily get a local instance of it running. These commands are also used to add a new CI task to verify that the remote prover works correctly.
This PR adds remote prover support for the web client along with some make commands to easily get a local instance of it running. These commands are also used to add a new CI task to verify that the remote prover works correctly.