Skip to content
Docker CI

Work around the non-linearity of template parameter levels. #108

Sign in to view logs

Work around the non-linearity of template parameter levels.

Work around the non-linearity of template parameter levels. #108

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
2m 2s
2m 2s