Skip to content

GitLab

S
stdpp

Lemma prefix_lookup.

11 jobs for master in 17 minutes and 32 seconds
1f91278f 1f91278f83eda8041798b6f606a72e5e27696a27
No related merge requests found.
Status Job ID Name Coverage
  Build
passed #20080
fp
build-coq.8.7.0

00:02:19

passed #20076
fp
build-coq.8.7.1

00:02:22

failed #20079
fp-timing
build-coq.8.7.2

00:00:50

passed #20078
fp-timing
build-coq.8.8.0

00:02:20

passed #20073
fp
build-coq.8.8.1

00:02:18

passed #20072
fp
build-coq.8.8.2

00:09:03

passed #20071
fp
build-coq.8.9.dev

00:09:27

passed #20070
fp
build-coq.dev

00:14:18

failed #20077
fp
build-coq.8.7.0

00:00:47

failed #20075
fp-timing
build-coq.8.7.2

00:00:47

failed #20074
fp-timing
build-coq.8.8.0

00:01:01

 
Name Stage Failure
failed
build-coq.8.7.2 Build 
The following dependencies couldn't be met:
  - ocaml -> ocaml-config -> ocaml-variants
      conflict with the base packages of this switch
  - ocaml -> ocaml-config -> ocaml-system
      unmet availability conditions, e.g. sys-ocaml-version = "4.07.1"
  - ocaml -> ocaml-config -> ocaml-base-compiler
      conflict with the base packages of this switch

ERROR: Job failed: exit code 1