Skip to content
build

Handle Rust enums and modules (#4) #36

Sign in to view logs

Handle Rust enums and modules (#4)

Handle Rust enums and modules (#4) #36

Triggered via push December 17, 2023 23:58
@lemasterolemastero
pushed 3cfd8a8
master
Status Success
Total duration 1m 1s
Artifacts –

haskell.yml

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