Skip to content
build

uppercase enums cases to have more idiomatic Rust output #33

Sign in to view logs

uppercase enums cases to have more idiomatic Rust output

uppercase enums cases to have more idiomatic Rust output #33

Triggered via push December 17, 2023 23:51
@lemasterolemastero
pushed cd6e976
produce-rust
Status Failure
Total duration 59s
Artifacts –

haskell.yml

on: push
agda2rust
51s
agda2rust
Fit to window
Zoom out
Zoom in

Annotations

1 error
agda2rust
Process completed with exit code 42.