diff options
| author | Adin Scannell <ascannell@google.com> | 2021-01-11 22:31:16 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-01-11 22:33:36 -0800 |
| commit | a20da708291e2e5bdece5176dce61c1b4b10b7d9 (patch) | |
| tree | 1546859b6436ee1ad7dffa6b67849c67d2182ccf /.github | |
| parent | e06c2b1264f5800730b93eff5c9913fd870025b9 (diff) | |
Fix Go branch for arm64.
This requires several changes:
* Templates must preserve relevant tags.
* Pagetables templates are split into two targets, each preserving tags.
* The binary VDSO is similarly split into two targets, with some juggling.
* The top level tools/go_branch.sh now does a crossbuild of ARM64 as well,
and checks and merges the results of the two branches together.
Fixes #5178
PiperOrigin-RevId: 351304330
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/go.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/go.yml b/.github/workflows/go.yml index e62991691..802fe5ce5 100644 --- a/.github/workflows/go.yml +++ b/.github/workflows/go.yml @@ -43,7 +43,7 @@ jobs: key: ${{ runner.os }}-bazel-${{ hashFiles('WORKSPACE') }} restore-keys: | ${{ runner.os }}-bazel- - - run: make go + - run: tools/go_branch.sh - run: | git remote add upstream "https://github.com/${{ github.repository }}" git push upstream go:go |