Skip to content
Docker CI

Declare DirectedSets.DS_set as coercion #206

Sign in to view logs

Declare DirectedSets.DS_set as coercion

Declare DirectedSets.DS_set as coercion #206

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
1m 57s
build (coqorg/coq:8.18)
2m 55s
build (coqorg/coq:8.17)
2m 57s
build (coqorg/coq:8.16)
2m 52s
build (coqorg/coq:8.15)
2m 53s
build (coqorg/coq:8.14)
2m 49s
build (coqorg/coq:8.13)
2m 53s
build (coqorg/coq:8.12)
2m 59s
22m 15s