botch:                    # unrelated FTBFS (pink)
coq-unimath:              # uses too much resources (red)
diffoscope:
elpi:                     # unrelated FTBFS (pink)
frama-c:                  # not in testing (yellow)
liquidsoap:               # not in testing (yellow)
llvm-toolchain-14:        # uses too much resources (red)
llvm-toolchain-18:        # uses too much resources (red)
llvm-toolchain-22:        # uses too much resources (red)
lwt-log:                  # unrelated FTBFS (pink)
ocaml-gavl:               # not in testing (yellow)
pplacer:                  # not in testing (yellow)
scilab:                   # uses too much resources (red)
virt-top:                 # unrelated FTBFS (pink)
virt-v2v:
coq-elpi: elpi
llvm-toolchain-21: llvm-toolchain-22
coq-corn: coq-elpi
coq-hierarchy-builder: coq-elpi elpi
llvm-toolchain-19: llvm-toolchain-21 llvm-toolchain-22
ssreflect: coq-hierarchy-builder
coq-deriving: ssreflect
coq-quickchick: ssreflect
coq-reglang: ssreflect
coq-relation-algebra: ssreflect
coquelicot: ssreflect
mathcomp-bigenough: ssreflect
mathcomp-finmap: ssreflect
mathcomp-zify: ssreflect
coq-extructures: coq-deriving ssreflect
coq-interval: coquelicot ssreflect
mathcomp-algebra-tactics: coq-elpi mathcomp-zify ssreflect
mathcomp-analysis: coq-elpi coq-hierarchy-builder mathcomp-bigenough mathcomp-finmap ssreflect
mathcomp-multinomials: coq-elpi mathcomp-bigenough mathcomp-finmap ssreflect
mathcomp-real-closed: mathcomp-bigenough ssreflect
coqeal: mathcomp-multinomials mathcomp-real-closed ssreflect