Skip to content

Merge Dependabot PR 3637/merge #825

Merge Dependabot PR 3637/merge

Merge Dependabot PR 3637/merge #825

merge-dependabot-pr  /  merge-dependabot-pr

succeeded Nov 16, 2024 in 8s
Set up job
1s
Run actions/checkout@v4
1s
Run actions/setup-java@v4
1s
Dependabot metadata
0s
Add a label for development dependencies pull request
0s
Set Milestone to Dependabot pull request or upgrade to SNAPSHOT
2s
Merge Dependabot pull request
1s
Post Run actions/setup-java@v4
0s
Post Run actions/checkout@v4
0s
Complete job
0s