frama-c: # 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) ocaml-gavl: # not in testing (yellow) pplacer: # not in testing (yellow) sks: # not in testing (yellow) llvm-toolchain-21: llvm-toolchain-22 llvm-toolchain-19: llvm-toolchain-21 llvm-toolchain-22