Skip to content
build

changelog for 0.1.0.2 #6

Sign in to view logs

changelog for 0.1.0.2

changelog for 0.1.0.2 #6

Triggered via push December 14, 2023 09:50
@lemasterolemastero
pushed 37d587a
tests
Status Success
Total duration 1m 10s
Artifacts –

haskell.yml

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