Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
@@ -1,10 +1,12 @@
name: Dependabot Go Mod Tidy
name: Dependabot Make Presubmit

on:
pull_request:
paths:
- 'go.mod'
- 'go.sum'
- 'test/go.mod'
- 'test/go.sum'

permissions:
contents: write
Expand All @@ -26,9 +28,9 @@ jobs:
with:
go-version: '1.x'

- name: Run go mod tidy
- name: Run make presubmit
run: |
go mod tidy
make presubmit

- name: Check for changes
id: git-check
Expand All @@ -45,6 +47,6 @@ jobs:
run: |
git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
git config --local user.name "github-actions[bot]"
git add go.mod go.sum
git commit -m "Run go mod tidy for Dependabot PR"
git add go.mod go.sum test/go.mod test/go.sum
git commit -m "Run make presubmit for Dependabot PR"
git push