chore: remove redundant indexes #40311
Triggered via pull request
November 9, 2023 20:09
dionisio-bot[bot]
dionisio-bot[bot]
labeled
#30914
Status
Success
Total duration
10s
Artifacts
–