Skip to content
LazyAnalysis

selectD_approx and selection_sortD_approx were missing. #9

Sign in to view logs

selectD_approx and selection_sortD_approx were missing.

selectD_approx and selection_sortD_approx were missing. #9

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:8.19)
14m 53s
build (coqorg/coq:8.18)
15m 35s
build (coqorg/coq:8.17)
15m 1s
build (coqorg/coq:8.16)
16m 40s
1h 2m 9s