diff options
| author | Andrei Vagin <avagin@google.com> | 2020-09-09 14:56:03 -0700 |
|---|---|---|
| committer | Andrei Vagin <avagin@google.com> | 2020-09-09 14:56:59 -0700 |
| commit | bd3252d5cfbfe11cda6dd76ed9c0f12a6d3c352b (patch) | |
| tree | 1861500c204cdf165d18bd580aa7a61db7671346 /pkg/sentry/platform/interrupt | |
| parent | aead623d934eeae88af4d66fc877e21a84770814 (diff) | |
github: Don't build the Go branch for feature branches
We can't actually push the Go branch on pushes to feature branches.
Signed-off-by: Andrei Vagin <avagin@google.com>
Diffstat (limited to 'pkg/sentry/platform/interrupt')
0 files changed, 0 insertions, 0 deletions