Skip to content
build

Merge pull request #14 from lemastero/handle-multiple-named-args #58

Sign in to view logs

Merge pull request #14 from lemastero/handle-multiple-named-args

Merge pull request #14 from lemastero/handle-multiple-named-args #58

Run time

Learn about OS pricing on GitHub Actions
Job Run time
agda2scala
12m 32s
12m 32s