Skip to content

Correct Dependabot to run "make presubmit" before creating PRs#758

Merged
2 commits merged intomainfrom
unknown repository
Jun 3, 2025
Merged

Correct Dependabot to run "make presubmit" before creating PRs#758
2 commits merged intomainfrom
unknown repository

Commits

Commits on Jun 3, 2025