Skip to content
build

ignore Rust compile output, IntelliJ files and MacOS DS_Store #32

Sign in to view logs

ignore Rust compile output, IntelliJ files and MacOS DS_Store

ignore Rust compile output, IntelliJ files and MacOS DS_Store #32

Triggered via push December 17, 2023 22:56
@lemasterolemastero
pushed df2598c
produce-rust
Status Failure
Total duration 1m 1s
Artifacts –

haskell.yml

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

Annotations

1 error and 1 warning
agda2rust
Process completed with exit code 42.
agda2rust: src/Agda/Compiler/Rust/ToRustCompiler.hs#L62
In the use of ‘head’