Skip to content
build

use bracket, rename handleX to compileX - fix unit tests 2 #16

Sign in to view logs

use bracket, rename handleX to compileX - fix unit tests 2

use bracket, rename handleX to compileX - fix unit tests 2 #16

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

haskell.yml

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

Annotations

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