Monads: refactor reader_option and nondet connection #2853

Sign in to view logs

Triggered via pull request February 24, 2024 23:54

corlewis

opened #722

corlewis:nondet_reader_option

Status Failure

Total duration 26s

Artifacts –

push.yml

on: pull_request