Merge Test: PRs #28971, #28965, #28972, #28973

State: Completed | Baseline: e4ede991 | Variants: 12

Aggregate totals across all compiler versions:
Regressions: 122 (passing -> failing)
Fixes: 10 (failing -> passing)
Added packages: 1
Removed packages: 0
Unchanged passing: 131504
Unchanged no solution: 79547
Unchanged dep failed: 7004
Unchanged failing: 5133

Variant: debian-13-ocaml.5.4.0

0 regressions, 2 fixes, 8516 unchanged pass, 9390 no solution, 378 dep failed, 324 fail

Fixes (2)

PackageBaselineMerge
runtime_events_tools_bare.0.5.3FailingPassing
runtime_events_tools.0.5.3FailingPassing

Variant: debian-13-ocaml.5.3.0

5 regressions, 2 fixes, 9695 unchanged pass, 8161 no solution, 417 dep failed, 330 fail

Regressions (5)

PackageBaselineMerge
frama-c-metacsl.0.8~betaPassingFailing
caisar.4.0PassingFailing
caisar.2.1PassingFailing
frama-c-metacsl.0.8PassingFailing
frama-c.30.0PassingFailing

Fixes (2)

PackageBaselineMerge
runtime_events_tools_bare.0.5.3FailingPassing
runtime_events_tools.0.5.3FailingPassing

Variant: debian-13-ocaml.5.2.1

21 regressions, 2 fixes, 10147 unchanged pass, 7642 no solution, 464 dep failed, 334 fail

Regressions (21)

PackageBaselineMerge
frama-c-metacsl.0.5PassingFailing
frama-c.28.0~betaPassingFailing
frama-c.30.0~betaPassingFailing
frama-c.29.0PassingFailing
frama-c.27.1PassingFailing
frama-c-metacsl.0.8~betaPassingFailing
caisar.4.0PassingFailing
frama-c.29.0~betaPassingFailing
frama-c-metacsl.0.7PassingFailing
caisar.2.1PassingFailing
frama-c-metacsl.0.6PassingFailing
frama-c-metacsl.0.5~betaPassingFailing
colibrics.0.4PassingFailing
frama-c.27.0~betaPassingFailing
frama-c.28.0PassingFailing
frama-c.28.1PassingFailing
frama-c-lannotate.0.2.3PassingFailing
frama-c.27.0PassingFailing
frama-c-luncov.0.2.1PassingFailing
frama-c-metacsl.0.8PassingFailing
frama-c.30.0PassingFailing

Fixes (2)

PackageBaselineMerge
runtime_events_tools_bare.0.5.3FailingPassing
runtime_events_tools.0.5.3FailingPassing

Variant: debian-13-ocaml.5.1.1

21 regressions, 2 fixes, 10299 unchanged pass, 7364 no solution, 585 dep failed, 339 fail

Regressions (21)

PackageBaselineMerge
frama-c-metacsl.0.5PassingFailing
frama-c.28.0~betaPassingFailing
frama-c.30.0~betaPassingFailing
frama-c.29.0PassingFailing
frama-c.27.1PassingFailing
frama-c-metacsl.0.8~betaPassingFailing
caisar.4.0PassingFailing
frama-c.29.0~betaPassingFailing
frama-c-metacsl.0.7PassingFailing
caisar.2.1PassingFailing
frama-c-metacsl.0.6PassingFailing
frama-c-metacsl.0.5~betaPassingFailing
colibrics.0.4PassingFailing
frama-c.27.0~betaPassingFailing
frama-c.28.0PassingFailing
frama-c.28.1PassingFailing
frama-c-lannotate.0.2.3PassingFailing
frama-c.27.0PassingFailing
frama-c-luncov.0.2.1PassingFailing
frama-c-metacsl.0.8PassingFailing
frama-c.30.0PassingFailing

Fixes (2)

PackageBaselineMerge
runtime_events_tools_bare.0.5.3FailingPassing
runtime_events_tools.0.5.3FailingPassing

Variant: debian-13-ocaml.5.0.0

21 regressions, 2 fixes, 10019 unchanged pass, 7773 no solution, 457 dep failed, 338 fail

Regressions (21)

PackageBaselineMerge
frama-c-metacsl.0.5PassingFailing
frama-c.28.0~betaPassingFailing
frama-c.30.0~betaPassingFailing
frama-c.29.0PassingFailing
frama-c.27.1PassingFailing
frama-c-metacsl.0.8~betaPassingFailing
caisar.4.0PassingFailing
frama-c.29.0~betaPassingFailing
frama-c-metacsl.0.7PassingFailing
caisar.2.1PassingFailing
frama-c-metacsl.0.6PassingFailing
frama-c-metacsl.0.5~betaPassingFailing
colibrics.0.4PassingFailing
frama-c.27.0~betaPassingFailing
frama-c.28.0PassingFailing
frama-c.28.1PassingFailing
frama-c-lannotate.0.2.3PassingFailing
frama-c.27.0PassingFailing
frama-c-luncov.0.2.1PassingFailing
frama-c-metacsl.0.8PassingFailing
frama-c.30.0PassingFailing

Fixes (2)

PackageBaselineMerge
runtime_events_tools_bare.0.5.3FailingPassing
runtime_events_tools.0.5.3FailingPassing

Variant: debian-13-ocaml.4.14.2

22 regressions, 0 fixes, 13803 unchanged pass, 3683 no solution, 685 dep failed, 417 fail

Regressions (22)

PackageBaselineMerge
frama-c-metacsl.0.5PassingFailing
frama-c.28.0~betaPassingFailing
caisar.1.0PassingFailing
frama-c.30.0~betaPassingFailing
frama-c.29.0PassingFailing
caisar.2.0PassingFailing
frama-c.27.1PassingFailing
frama-c-metacsl.0.8~betaPassingFailing
caisar.4.0PassingFailing
frama-c.29.0~betaPassingFailing
frama-c-metacsl.0.7PassingFailing
caisar.2.1PassingFailing
colibrics.0.4PassingFailing
frama-c.27.0~betaPassingFailing
frama-c.28.0PassingFailing
frama-c-lannotate.0.2.3PassingFailing
colibrics.0.3.3PassingFailing
caisar.0.2.1PassingFailing
frama-c.27.0PassingFailing
frama-c-luncov.0.2.1PassingFailing
frama-c-metacsl.0.8PassingFailing
frama-c.30.0PassingFailing

Variant: debian-13-ocaml.4.13.1

20 regressions, 0 fixes, 11815 unchanged pass, 5711 no solution, 629 dep failed, 435 fail

Regressions (20)

PackageBaselineMerge
frama-c-metacsl.0.5PassingFailing
frama-c.28.0~betaPassingFailing
caisar.1.0PassingFailing
frama-c.29.0PassingFailing
caisar.2.0PassingFailing
frama-c.27.1PassingFailing
frama-c.29.0~betaPassingFailing
frama-c-metacsl.0.7PassingFailing
caisar.2.1PassingFailing
frama-c-metacsl.0.6PassingFailing
frama-c-metacsl.0.5~betaPassingFailing
colibrics.0.4PassingFailing
frama-c.27.0~betaPassingFailing
frama-c.28.0PassingFailing
frama-c.28.1PassingFailing
frama-c-lannotate.0.2.3PassingFailing
colibrics.0.3.3PassingFailing
caisar.0.2.1PassingFailing
frama-c.27.0PassingFailing
frama-c-luncov.0.2.1PassingFailing

Variant: debian-13-ocaml.4.12.1

7 regressions, 0 fixes, 11774 unchanged pass, 5693 no solution, 664 dep failed, 472 fail

Regressions (7)

PackageBaselineMerge
frama-c-metacsl.0.5PassingFailing
frama-c.27.1PassingFailing
frama-c-metacsl.0.5~betaPassingFailing
colibrics.0.4PassingFailing
frama-c.27.0~betaPassingFailing
colibrics.0.3.3PassingFailing
frama-c.27.0PassingFailing

Variant: debian-13-ocaml.4.11.2

5 regressions, 0 fixes, 11631 unchanged pass, 5785 no solution, 675 dep failed, 514 fail

Regressions (5)

PackageBaselineMerge
frama-c-metacsl.0.5PassingFailing
frama-c.27.1PassingFailing
frama-c-metacsl.0.5~betaPassingFailing
frama-c.27.0~betaPassingFailing
frama-c.27.0PassingFailing

Variant: debian-13-ocaml.4.10.2

0 regressions, 0 fixes, 11422 unchanged pass, 6030 no solution, 658 dep failed, 500 fail

Variant: debian-13-ocaml.4.09.1

0 regressions, 0 fixes, 11253 unchanged pass, 6118 no solution, 685 dep failed, 554 fail

Variant: debian-13-ocaml.4.08.1

0 regressions, 0 fixes, 11130 unchanged pass, 6197 no solution, 707 dep failed, 576 fail