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 /internal/form | |
| 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 'internal/form')
0 files changed, 0 insertions, 0 deletions