Monads: refactor reader_option and nondet connection #2872

Sign in to view logs

Triggered via pull request February 29, 2024 10:12

corlewis

synchronize #722

corlewis:nondet_reader_option

Status Success

Total duration 32s

Artifacts –

push.yml

on: pull_request