You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Code that interrupts using debug_interrupt_stage and debug_interrupt_committee was removed, so test that claims to check interrupted runs doesn't actually do so.
The text was updated successfully, but these errors were encountered:
Code that interrupts using
debug_interrupt_stage
anddebug_interrupt_committee
was removed, so test that claims to check interrupted runs doesn't actually do so.The text was updated successfully, but these errors were encountered: