Skip to content
Build and Deploy documentation

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

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 (… #79

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-coqdoc
4m 27s
4m 27s