Skip to content
Verify proofs

Name the type and fields of the result of a monadic computation on a bitstream #328

Sign in to view logs

Name the type and fields of the result of a monadic computation on a bitstream

Name the type and fields of the result of a monadic computation on a bitstream #328

Triggered via pull request October 19, 2023 19:01
@fzaiserfzaiser
opened #97
result
Status Success
Total duration 1m 10s
Artifacts –

verify.yml

on: pull_request
verify
57s
verify
Fit to window
Zoom out
Zoom in