proof: update for changes to nondet monad #2675

Sign in to view logs

Triggered via push October 5, 2023 00:24

corlewis

master

Status Success

Total duration 26s

Artifacts –

push.yml

on: push