diff options
| author | ᴜɴᴋɴᴡᴏɴ <u@gogs.io> | 2020-09-04 03:13:59 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-04 03:13:59 +0800 |
| commit | bb93cabd39f53f5a3d7a34545a24ac0fa4155f42 (patch) | |
| tree | 6de539297024b8605f5bd6d12360d4815c5d8d83 /.github | |
| parent | c4360747a3bdd0d5a5a673bfcdee05f9d911ba1e (diff) | |
ci: re-run Go checks for every push on a pull request
If a pull request has changed any Go file, even if the new push doesn't change any,
we should re-run Go checks to make GitHub Checks look consistent.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/go.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/go.yml b/.github/workflows/go.yml index 5cc9de2d..d906ec1e 100644 --- a/.github/workflows/go.yml +++ b/.github/workflows/go.yml @@ -3,6 +3,9 @@ on: push: paths: - '**.go' + pull_request: + paths: + - '**.go' env: GOPROXY: "https://proxy.golang.org" |