fix: make watchdog more resilient against badly behaving clients#4443
Merged
mhuisi merged 6 commits intoleanprover:masterfrom mhuisi:mhuisi/resilient-watchdogJun 13, 2024
+48-36
Commits
Commits on Jun 13, 2024
- committed
- authored
- committed
Merge branch 'mhuisi/resilient-watchdog' of https://github.com/mhuisi/lean4 into mhuisi/resilient-watchdog
committed- committed
- committed
