chore: Revert to using GitHub runners · sourcebot-dev/sourcebot@e3e9023

Triggered via pull request December 12, 2025 22:28

opened #675

Status Success

Total duration 7m 24s

Artifacts 1

pr-gate.yml

on: pull_request

Produced during runtime

Name	Size	Digest
sourcebot-dev~sourcebot~Y9F3FS.dockerbuild	84.3 KB	`sha256:685e2283542221be1398f24e39f97e3f30df221727a9f780eba2937870fcaaf5`