Skip to content
build

add CI #1

Sign in to view logs

add CI

add CI #1

Triggered via push December 13, 2023 23:01
@lemasterolemastero
pushed 74d5f4a
brand-agda2rust
Status Failure
Total duration 43s
Artifacts –

haskell.yml

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

Annotations

1 error
agda2rust
Process completed with exit code 1.