Deduplicate the "other sets" in a `LocalVocab` #5054

Triggered via pull request November 30, 2024 21:00

RobinTF

synchronize #1632

RobinTF:merged-vocab

Status Success

Total duration 33m 27s

Artifacts 1

code-coverage.yml

on: pull_request

Produced during runtime

Name	Size
coverage-report	3.61 MB