Skip to content
PR Labeler

[MAINT] Remove unnecessary separate API call for repo topics in github_repository #406

Sign in to view logs

[MAINT] Remove unnecessary separate API call for repo topics in github_repository

[MAINT] Remove unnecessary separate API call for repo topics in github_repository #406

Triggered via pull request January 16, 2026 22:44
@deigadeiga
opened #3086
Status Success
Total duration 8s
Artifacts –

labeler.yaml

on: pull_request_target
Label PRs
5s
Label PRs
Fit to window
Zoom out
Zoom in