Skip to content
Docker CI

Adapt to rocq-prover/rocq#21281 (printing flags passed functionally) #73

Sign in to view logs

Adapt to rocq-prover/rocq#21281 (printing flags passed functionally)

Adapt to rocq-prover/rocq#21281 (printing flags passed functionally) #73

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (rocq/rocq-prover:dev)
1m 55s
build (rocq/rocq-prover:dev)
1m 50s
3m 45s