test: Test adding vertex names

[krlmlr]

Need to understand if this improves coverage in a meaningful way.

[aviator-app]

Current Aviator status

Aviator will automatically update this comment as the status of the PR changes.
Comment /aviator refresh to force Aviator to re-examine your PR (or learn about other /aviator commands).

This pull request is currently open (not queued).

How to merge

To merge this PR, comment /aviator merge or add the mergequeue label.

---

See the real-time status of this PR on the Aviator webapp.

Use the Aviator Chrome Extension to see the status of your PR within GitHub.

[aviator-app]

This pull request failed to merge: this PR is in draft state. Once the issues are resolved, remove the blocked label and re-queue the pull request. Note that the pull request will be automatically re-queued if it has the mergequeue label.

Additional debug info: PR was marked as draft after queueing

[aviator-app]

This pull request can't be queued because it's currently a draft.

[maelle]

@schochastics not really related to your work on vertex names, but maybe you stumbled upon relevant code when working on your PR.