Skip to content

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

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

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

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

immediate-response.yaml

on: pull_request_target
Respond to Issue or PR
5s
Respond to Issue or PR
Fit to window
Zoom out
Zoom in