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

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

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

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

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

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

Package	Baseline	Merge
alt-ergo-plugin-ab-why3.2.5.2	Passing	Failing
alt-ergo.2.5.2	Passing	Failing

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

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

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

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

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

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