experiment(ask_gh): Support on demand indexing of GitHub repositories · sourcebot-dev/sourcebot@db8adf5

Triggered via pull request January 22, 2026 23:00

opened #785

Status Success

Total duration 6m 49s

Artifacts 1

pr-gate.yml

on: pull_request

Produced during runtime

Name	Size	Digest
sourcebot-dev~sourcebot~QZ54NL.dockerbuild Expired	85.2 KB	`sha256:bd59507e9e5aa1b0ae94f3e5d425b72d9b735900855a95082fb2d24b5d7819d6`