Skip to content
build

Merge pull request #13 from lemastero/tkerber/examples #22

Sign in to view logs

Merge pull request #13 from lemastero/tkerber/examples

Merge pull request #13 from lemastero/tkerber/examples #22

Triggered via push December 15, 2023 22:06
@lemasterolemastero
pushed 5d7e569
master
Status Success
Total duration 59s
Artifacts –

haskell.yml

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