Merge Test: PRs #28945, #28911, #28938, #28827

State: Completed | Baseline: c9a5fb4e | Variants: 12

Aggregate totals across all compiler versions:
Regressions: 2 (passing -> failing)
Fixes: 0 (failing -> passing)
Added packages: 35
Removed packages: 0
Unchanged passing: 8957
Unchanged no solution: 0
Unchanged dep failed: 0
Unchanged failing: 434

Variant: debian-13-ocaml.5.4.0

0 regressions, 0 fixes, 424 unchanged pass, 0 no solution, 0 dep failed, 10 fail

Variant: debian-13-ocaml.5.3.0

0 regressions, 0 fixes, 489 unchanged pass, 0 no solution, 0 dep failed, 21 fail

Variant: debian-13-ocaml.5.2.1

0 regressions, 0 fixes, 547 unchanged pass, 0 no solution, 0 dep failed, 17 fail

Variant: debian-13-ocaml.5.1.1

0 regressions, 0 fixes, 557 unchanged pass, 0 no solution, 0 dep failed, 18 fail

Variant: debian-13-ocaml.5.0.0

0 regressions, 0 fixes, 539 unchanged pass, 0 no solution, 0 dep failed, 22 fail

Variant: debian-13-ocaml.4.14.2

2 regressions, 0 fixes, 1408 unchanged pass, 0 no solution, 0 dep failed, 44 fail

Regressions (2)

PackageBaselineMerge
alt-ergo-plugin-ab-why3.2.5.2PassingFailing
alt-ergo.2.5.2PassingFailing

Variant: debian-13-ocaml.4.13.1

0 regressions, 0 fixes, 858 unchanged pass, 0 no solution, 0 dep failed, 50 fail

Variant: debian-13-ocaml.4.12.1

0 regressions, 0 fixes, 859 unchanged pass, 0 no solution, 0 dep failed, 52 fail

Variant: debian-13-ocaml.4.11.2

0 regressions, 0 fixes, 820 unchanged pass, 0 no solution, 0 dep failed, 56 fail

Variant: debian-13-ocaml.4.10.2

0 regressions, 0 fixes, 805 unchanged pass, 0 no solution, 0 dep failed, 45 fail

Variant: debian-13-ocaml.4.09.1

0 regressions, 0 fixes, 827 unchanged pass, 0 no solution, 0 dep failed, 49 fail

Variant: debian-13-ocaml.4.08.1

0 regressions, 0 fixes, 824 unchanged pass, 0 no solution, 0 dep failed, 50 fail