Skip to content
Docker CI

chore: Add dedicated CI test using coqorg/base (from v8.20 branch) #219

Sign in to view logs

chore: Add dedicated CI test using coqorg/base (from v8.20 branch)

chore: Add dedicated CI test using coqorg/base (from v8.20 branch) #219

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (dev, coqorg/base:4.13.1-flambda)
8m 33s
8m 33s