Skip to content

fix: mark remote prover as unhealthy in monitor#1848

Merged
bobbinth merged 2 commits intonextfrom
santiagopittella-fix-monitor-remote-prover-check
Mar 27, 2026
Merged

fix: mark remote prover as unhealthy in monitor#1848
bobbinth merged 2 commits intonextfrom
santiagopittella-fix-monitor-remote-prover-check

Commits

Commits on Mar 26, 2026