Skip to content
build

Merge pull request #4 from lemastero/hello-world #43

Sign in to view logs

Merge pull request #4 from lemastero/hello-world

Merge pull request #4 from lemastero/hello-world #43

Run time

Learn about OS pricing on GitHub Actions
Job Run time
agda2scala
14m 17s
14m 17s