Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Open sidebar
LustreC
Frama-C
Jobs
All
223
Pending
0
Running
0
Finished
42
Status
Job
Pipeline
Stage
Name
Duration
Coverage
skipped
#4424
tacinstance-fix
e243d617
nix
#1687
by
distrib_and_compatibility
frama-c-ocaml-4.13
skipped
#4423
tacinstance-fix
e243d617
nix
allowed to fail
manual
#1687
by
distrib_and_compatibility
internal
skipped
#4422
tacinstance-fix
e243d617
nix
#1687
by
tests
e-acsl-tests-dev
skipped
#4421
tacinstance-fix
e243d617
nix
#1687
by
tests
pathcrawler
skipped
#4420
tacinstance-fix
e243d617
nix
#1687
by
tests
mthread
skipped
#4419
tacinstance-fix
e243d617
nix
#1687
by
tests
caveat-importer
skipped
#4418
tacinstance-fix
e243d617
nix
allowed to fail
#1687
by
tests
doc
skipped
#4417
tacinstance-fix
e243d617
nix
#1687
by
tests
build-from-distrib-tarball
skipped
#4416
tacinstance-fix
e243d617
nix
allowed to fail
#1687
by
tests
eva-tests
skipped
#4415
tacinstance-fix
e243d617
nix
#1687
by
tests
CFP
skipped
#4414
tacinstance-fix
e243d617
nix
#1687
by
tests
Security
skipped
#4413
tacinstance-fix
e243d617
nix
#1687
by
tests
metacsl
skipped
#4412
tacinstance-fix
e243d617
nix
#1687
by
tests
volatile
skipped
#4411
tacinstance-fix
e243d617
nix
#1687
by
tests
acsl-importer
skipped
#4410
tacinstance-fix
e243d617
nix
#1687
by
tests
counter-examples
skipped
#4409
tacinstance-fix
e243d617
nix
#1687
by
tests
frama-clang
skipped
#4408
tacinstance-fix
e243d617
nix
#1687
by
tests
genassigns
skipped
#4407
tacinstance-fix
e243d617
nix
allowed to fail
#1687
by
tests
aorai-prove
skipped
#4406
tacinstance-fix
e243d617
nix
#1687
by
tests
wp-qualif
skipped
#4405
tacinstance-fix
e243d617
nix
#1687
by
tests
tests
skipped
#4404
tacinstance-fix
e243d617
docker
#1687
by
build
ivette
skipped
#4403
tacinstance-fix
e243d617
nix
#1687
by
build
build-distrib-tarball
skipped
#4402
tacinstance-fix
e243d617
nix
#1687
by
build
lint
skipped
#4401
tacinstance-fix
e243d617
nix
#1687
by
build
frama-c
failed
#4400
tacinstance-fix
e243d617
nix
#1687
by
git-update
git-update
Apr 12, 2022
failed
#4399
tacinstance-fix
e243d617
nix
#1687
by
git-update
check-no-old-frama-c
Apr 12, 2022
skipped
#4396
tacinstance-fix
2637cad7
nix
#1684
by
distrib_and_compatibility
frama-c-ocaml-4.13
skipped
#4395
tacinstance-fix
2637cad7
nix
allowed to fail
manual
#1684
by
distrib_and_compatibility
internal
skipped
#4394
tacinstance-fix
2637cad7
nix
#1684
by
tests
e-acsl-tests-dev
skipped
#4393
tacinstance-fix
2637cad7
nix
#1684
by
tests
pathcrawler
Next