Combined Dependabot PR#930

Closed

github-actions[bot] wants to merge 20 commits intomasterfrom

dependabot-combined-prs-1703494833983

Commits on Oct 30, 2023

Commits on Nov 20, 2023

Bump actions/github-script from 6 to 7
dependabot[bot]
authored

Commits on Dec 4, 2023

Bump actions/setup-java from 3 to 4
dependabot[bot]
authored

Commits on Dec 12, 2023

Bump actions/stale from 8 to 9
dependabot[bot]
authored

Commits on Dec 25, 2023