join together duplicate entries in the text `repr` #10044

Sign in to view logs

Triggered via pull request July 19, 2023 18:27

dcherian

synchronize #7225

keewis:indexes-repr-join-text

Status Success

Total duration 14s

Artifacts –

upstream-dev-ci.yaml

on: pull_request

detect upstream-dev ci trigger

Matrix: mypy-upstream-dev

Matrix: upstream-dev