chore: merge RemoteProver status and tests in backend#1980
chore: merge RemoteProver status and tests in backend#1980SantiagoPittella wants to merge 5 commits intonextfrom
Conversation
35c5902 to
9432470
Compare
|
Not related to this PR, but I thought about it while looking at the screenshot: could we truncate worker IDs in the remote prover card? Right now, these span 3 lines, which makes it a bit difficult to read. We could still show the full ID on hover or something like that. |
Yeah, we could. We can do something similar to what we do with commitments were we provide the copy button to get the full commitment. I will add it to this PR |
|
Looks great! I'd try to format it so that the status (i.e., "healthy") fits on the same line as the ID. |


closes #1908
This PR merges the Remote Prover status + test results in a same component. Previously, this were sent individually and the frontend was merging them.