Skip to content
CI

Minor Nondet Monad improvements #2642

Sign in to view logs

Minor Nondet Monad improvements

Minor Nondet Monad improvements #2642

Triggered via pull request August 22, 2023 10:03
@corlewiscorlewis
synchronize #665
corlewis:nondet_changes
Status Success
Total duration 26s
Artifacts –

push.yml

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