Skip to content
PR Labeler

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

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 #530

Triggered via pull request January 27, 2026 21:07
@deigadeiga
synchronize #3086
Status Success
Total duration 8s
Artifacts –

labeler.yaml

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