Skip to content

Consider removing proxy from remote prover binary #1341

@SantiagoPittella

Description

@SantiagoPittella

At the moment, the worker and proxy of the remote prover are coupled in the same binary. We need to discuss if we want to move it into a different binary or even another repository.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions