Fake PR to test the upstreaming of commit up to gerris/rebase-upstream/2025-12-10

[dkm]

This is a fake PR, not meant to be merged. It tries to merge commits to upstream with an upstream base branch dkm/upstream-base. We're only interested by the CI results. -- gerris 🦀

[dkm]

cc @CohenArthur Currently building, but looks fine.

[dkm]

                === rust Summary ===

# of expected passes            10443
# of expected failures          74
# of unsupported tests          7

Identical count as current master.

[CohenArthur]

perfect @dkm thank you!