Skip to content

Merge Dependabot PRs #103

Merge Dependabot PRs

Merge Dependabot PRs #103

Annotations

1 warning

Combine and merge Dependabot PRs (auth0)

succeeded Dec 9, 2024 in 7s
Set up job
1s
Clone ci-mgmt
0s
Run gh auth setup-git
0s
Run git config --global user.email "bot@pulumi.com"
0s
Run git config --global user.name "pulumi-bot"
0s
Run ./scripts/merge_dependabot.sh auth0
5s
Post Clone ci-mgmt
0s
Complete job
0s