Skip to content
build

Some examples of potential outputs. #20

Sign in to view logs

Some examples of potential outputs.

Some examples of potential outputs. #20

Triggered via push December 15, 2023 17:02
@tkerbertkerber
pushed 2b7edd7
tkerber/examples
Status Success
Total duration 1m 33s
Artifacts –

haskell.yml

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