Skip to content

GitLab

Status Job Pipeline Stage Name Duration Coverage
skipped #4424
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar distrib_and_compatibility frama-c-ocaml-4.13
skipped #4423
tacinstance-fix
e243d617
nix allowed to fail manual
#1687 by BRUN Lelio's avatar distrib_and_compatibility internal
skipped #4422
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar tests e-acsl-tests-dev
skipped #4421
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar tests pathcrawler
skipped #4420
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar tests mthread
skipped #4419
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar tests caveat-importer
skipped #4418
tacinstance-fix
e243d617
nix allowed to fail
#1687 by BRUN Lelio's avatar tests doc
skipped #4417
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar tests build-from-distrib-tarball
skipped #4416
tacinstance-fix
e243d617
nix allowed to fail
#1687 by BRUN Lelio's avatar tests eva-tests
skipped #4415
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar tests CFP
skipped #4414
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar tests Security
skipped #4413
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar tests metacsl
skipped #4412
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar tests volatile
skipped #4411
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar tests acsl-importer
skipped #4410
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar tests counter-examples
skipped #4409
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar tests frama-clang
skipped #4408
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar tests genassigns
skipped #4407
tacinstance-fix
e243d617
nix allowed to fail
#1687 by BRUN Lelio's avatar tests aorai-prove
skipped #4406
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar tests wp-qualif
skipped #4405
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar tests tests
skipped #4404
tacinstance-fix
e243d617
docker
#1687 by BRUN Lelio's avatar build ivette
skipped #4403
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar build build-distrib-tarball
skipped #4402
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar build lint
skipped #4401
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar build frama-c
failed #4400
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar git-update git-update

failed #4399
tacinstance-fix
e243d617
nix
#1687 by BRUN Lelio's avatar git-update check-no-old-frama-c

skipped #4396
tacinstance-fix
2637cad7
nix
#1684 by BRUN Lelio's avatar distrib_and_compatibility frama-c-ocaml-4.13
skipped #4395
tacinstance-fix
2637cad7
nix allowed to fail manual
#1684 by BRUN Lelio's avatar distrib_and_compatibility internal
skipped #4394
tacinstance-fix
2637cad7
nix
#1684 by BRUN Lelio's avatar tests e-acsl-tests-dev
skipped #4393
tacinstance-fix
2637cad7
nix
#1684 by BRUN Lelio's avatar tests pathcrawler