Do not call `done` recursively when solving `is_Some`.
All threads resolved!
All threads resolved!
!293 (merged) broke Iris, this MR fixes that.
Merge request reports
Activity
Filter activity
- Resolved by Ralf Jung
- Resolved by Robbert Krebbers
enabled an automatic merge when the pipeline for 53a108a6 succeeds
mentioned in commit 0a6ff58a
Please register or sign in to reply