Skip to content
Docker CI

Arithmetic in the functional language. This is the final task of #2 (… #82

Sign in to view logs

Arithmetic in the functional language. This is the final task of #2 (…

Arithmetic in the functional language. This is the final task of #2 (… #82

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:8.20)
3m 13s
build (coqorg/coq:8.19)
3m 10s
build (coqorg/coq:8.18)
10m 38s
17m 1s