Skip to content

Stop catching async exceptions in hacks that catch anomalies - #21254

Merged
coqbot-app[bot] merged 1 commit into
rocq-prover:masterfrom
SkySkimmer:stop-anomalies
Nov 3, 2025
Merged

Stop catching async exceptions in hacks that catch anomalies#21254
coqbot-app[bot] merged 1 commit into
rocq-prover:masterfrom
SkySkimmer:stop-anomalies

Stop catching async exceptions in hacks that catch anomalies

3cf6222
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.