Dependabot: Group all "GitHub Actions" Dependabot PRs into a single PR#897

giordano merged 1 commit into

masterJuliaParallel/MPI.jl:masterfrom

dpa/dependabotJuliaParallel/MPI.jl:dpa/dependabotCopy head branch name to clipboard