Skip to content
MetaRocq CI

Adapt to rocq-prover/rocq#21477 (Print Assumptions takes list) #540

Sign in to view logs

Adapt to rocq-prover/rocq#21477 (Print Assumptions takes list)

Adapt to rocq-prover/rocq#21477 (Print Assumptions takes list) #540

Run time

Learn about OS pricing on GitHub Actions
Job Run time
checktodos
5s
build (dev, 4.14-flambda, local)
25m 15s
build (dev, 4.14-flambda, opam)
25m 1s
50m 21s