Skip to content
build

module header is proper Rust comment #10

Sign in to view logs

module header is proper Rust comment

module header is proper Rust comment #10

Triggered via push December 14, 2023 10:45
@lemasterolemastero
pushed c933d1b
produce-rust
Status Success
Total duration 1m 47s
Artifacts –

haskell.yml

on: push
agda2rust
1m 37s
agda2rust
Fit to window
Zoom out
Zoom in