Skip to content
MetaCoq CI

Update documentation in common/Environment.ml for inductive and constant declarations #2926

Sign in to view logs

Update documentation in common/Environment.ml for inductive and constant declarations

Update documentation in common/Environment.ml for inductive and constant declarations #2926

Run time

Learn about OS pricing on GitHub Actions
Job Run time
checktodos
2s
build (dev, 4.14-flambda, local)
26m 17s
build (dev, 4.09-flambda, opam)
26m 16s
build (dev, 4.09-flambda, local)
26m 16s
build (dev, 4.14-flambda, opam)
26m 3s
1h 44m 54s