Jobs in run #238077
Update GitGitGadget's PRs
Jobs
SuccessAgent job 1
3m 29s
SuccessInitialize job
<1s
SkippedCheckout gitgitgadget/git@seen to s
<1s
SuccessUse Node 20.x
5s
SuccessPull GitGitGadget, npm install & build
2s
SuccessObtain GitHub App token
3s
SuccessUpdate open Pull Requests
27s
SuccessUpdate commit mappings on gitgitgadget/git
2m 3s
SuccessHandle open Pull Requests
23s
SkippedPush refs/notes/gitgitgadget if anything went wrong
<1s
SuccessPost-job: Checkout gitgitgadget/git@seen to s
1s
SuccessFinalize Job
<1s
Success
Agent job 1
  1. Agent: dscho-org
    Started: Mar 6 at 10:50 PM
    Duration: 3m 29s