Skip to content
PR Gate

fix(github): Fix issue with users not getting picked up in GitHub config #670

Sign in to view logs

fix(github): Fix issue with users not getting picked up in GitHub config

fix(github): Fix issue with users not getting picked up in GitHub config #670

Triggered via pull request August 4, 2025 22:34
@brendan-kellambrendan-kellam
opened #428
bkellam/fix_github_user_sync
Status Success
Total duration 6m 34s
Artifacts 1

pr-gate.yml

on: pull_request
build
6m 31s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
sourcebot-dev~sourcebot~J1E5MB.dockerbuild Expired
85.8 KB
sha256:fcb007c04c473799ec2ee1f2527319214fac1def5866f6f93fbf4112243468b3