Skip to content
build

drop Test #30

Sign in to view logs

drop Test

drop Test #30

Triggered via push December 17, 2023 17:30
@lemasterolemastero
pushed 0623f54
produce-rust
Status Success
Total duration 1m 4s
Artifacts –

haskell.yml

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

Annotations

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