Monads: refactor reader_option and nondet connection #2854

Sign in to view logs

Re-run triggered February 25, 2024 22:57

corlewis

#722

corlewis:nondet_reader_option

Status Success

Total duration 23s

Artifacts –

push.yml

on: pull_request