fix: teach Exception.isRuntime to detect nested errors #15335
Triggered via pull request
December 4, 2025 00:51
leanprover-community-bot
leanprover-community-bot
labeled
#11490
Status
Skipped
Total duration
–
Artifacts
–