Skip to content
Docker CI

chore: Adapt meta.yml to v8.20 & Add dedicated CI test using coqorg/base #216

Sign in to view logs

chore: Adapt meta.yml to v8.20 & Add dedicated CI test using coqorg/base

chore: Adapt meta.yml to v8.20 & Add dedicated CI test using coqorg/base #216

Run time

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