Skip to content

open-source-case-studies
open-source-case-studies
Status Job Pipeline Stage Name Timing Coverage
passed #327815
for-gitlab-ci
29fcc831
docker
#28837 by Andre Maroneze's avatar test build

00:54:05

failed #327787
for-gitlab-ci
29fcc831
docker
#28837 by Andre Maroneze's avatar test build

00:48:58

failed #327649
for-gitlab-ci
29fcc831
docker
#28837 by Andre Maroneze's avatar test build

01:00:01

failed #327599
for-gitlab-ci
16598fa8
docker
#28834 by Andre Maroneze's avatar test build

00:30:32

failed #327574
for-gitlab-ci
1c756779
docker
#28831 by Andre Maroneze's avatar test build

00:30:37

failed #327445
for-gitlab-ci
adcfb1ac
docker
#28819 by Andre Maroneze's avatar test build

00:02:35

canceled #316333
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar distrib_and_compatibility frama-c-ocaml-4.10

canceled #316332
feature/andre/choc-simplification-analysis-scripts
922d130f
nix allowed to fail manual
#27831 by Andre Maroneze's avatar distrib_and_compatibility internal

canceled #316331
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar tests e-acsl-tests-dev

canceled #316330
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar tests pathcrawler

canceled #316329
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar tests mthread

canceled #316328
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar tests caveat-importer

canceled #316327
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar tests build-from-distrib-tarball

canceled #316326
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar tests CFP

canceled #316325
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar tests Security

canceled #316324
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar tests volatile

canceled #316323
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar tests acsl-importer

canceled #316322
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar tests counter-examples

canceled #316321
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar tests genassigns

canceled #316320
feature/andre/choc-simplification-analysis-scripts
922d130f
nix allowed to fail
#27831 by Andre Maroneze's avatar tests wp-qualif

canceled #316319
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar tests tests

canceled #316318
feature/andre/choc-simplification-analysis-scripts
922d130f
docker
#27831 by Andre Maroneze's avatar build ivette

canceled #316317
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar build build-distrib-tarball

canceled #316316
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar build lint

canceled #316315
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar build frama-c

canceled #316314
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar git-update git-update

canceled #316313
feature/andre/choc-simplification-analysis-scripts
922d130f
nix
#27831 by Andre Maroneze's avatar git-update check-no-old-frama-c

passed #315156
for-gitlab-ci
ee116a5d
docker
#27724 by Andre Maroneze's avatar test build

00:00:18

failed #315155
for-gitlab-ci
ddc49376
docker
#27723 by Andre Maroneze's avatar test build

00:00:16

passed #315154
for-gitlab-ci
c845119e
docker
#27722 by Andre Maroneze's avatar test build

00:00:15