Skip to content
build

handle enums #13

Sign in to view logs

handle enums

handle enums #13

Triggered via push December 14, 2023 14:27
@lemasterolemastero
pushed 08fb589
produce-rust
Status Success
Total duration 1m 16s
Artifacts –

haskell.yml

on: push
agda2rust
1m 3s
agda2rust
Fit to window
Zoom out
Zoom in

Annotations

1 warning
agda2rust: src/Agda/Compiler/Rust/Backend.hs#L121
In the use of ‘head’