Skip to content
CI

Minor Nondet Monad improvements #2629

Sign in to view logs

Minor Nondet Monad improvements

Minor Nondet Monad improvements #2629

Triggered via pull request August 14, 2023 08:51
@corlewiscorlewis
opened #665
corlewis:nondet_changes
Status Success
Total duration 26s
Artifacts –

push.yml

on: pull_request
License Check
15s
License Check
Links
11s
Links
Fit to window
Zoom out
Zoom in