Skip to content
build

module header is proper Rust comment #8

Sign in to view logs

module header is proper Rust comment

module header is proper Rust comment #8

Triggered via push December 14, 2023 10:42
@lemasterolemastero
pushed 0ad0019
produce-rust
Status Success
Total duration 2m 23s
Artifacts –

haskell.yml

on: push
agda2rust
2m 13s
agda2rust
Fit to window
Zoom out
Zoom in