diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml
deleted file mode 100644
index afb22a9..0000000
--- a/.github/workflows/mirror.yml
+++ /dev/null
@@ -1,29 +0,0 @@
-# Generated by internal/ci/ci_tool.cue; do not edit
-
-name: Scheduled repo mirror
-on:
-  schedule:
-  - cron: '*/30 * * * *'
-jobs:
-  mirror:
-    runs-on: ubuntu-18.04
-    defaults:
-      run:
-        shell: bash
-    steps:
-    - name: Checkout code
-      uses: actions/checkout@v2
-    - name: Mirror Gerrit to GitHub
-      run: |-
-        cd _scripts
-        docker run --rm -v $PWD/cache:/root/copybara/cache -v $PWD:/usr/src/app --entrypoint="" cueckoo/copybara:afc4ae03eed00b0c9d7415141cd1b5dfa583da7c bash -c " \
-        	set -eu; \
-        	echo \"${{ secrets.gerritCookie }}\" > ~/.gitcookies; \
-        	chmod 600 ~/.gitcookies; \
-        	git config --global user.name cueckoo; \
-        	git config --global user.email cueckoo@gmail.com; \
-        	git config --global http.cookiefile \$HOME/.gitcookies; \
-          	echo https://cueckoo:${{ secrets.CUECKOO_GITHUB_PAT }}@github.com > ~/.git-credentials; \
-        	chmod 600 ~/.git-credentials; \
-        	java -jar /opt/copybara/copybara_deploy.jar migrate copy.bara.sky github; \
-        	"
diff --git a/.github/workflows/new_version_triggers.yml b/.github/workflows/new_version_triggers.yml
deleted file mode 100644
index cd94c27..0000000
--- a/.github/workflows/new_version_triggers.yml
+++ /dev/null
@@ -1,23 +0,0 @@
-# Generated by internal/ci/ci_tool.cue; do not edit
-
-name: New release triggers
-on:
-  push:
-    tags:
-    - v*
-jobs:
-  push:
-    runs-on: ubuntu-18.04
-    defaults:
-      run:
-        shell: bash
-    steps:
-    - name: Rebuild tip.cuelang.org
-      run: 'curl -f -s -H "Content-Type: application/json" -u cueckoo:${{ secrets.CUECKOO_GITHUB_PAT
-        }} --request POST --data-binary "{\"event_type\": \"Re-test post release of
-        ${GITHUB_REF##refs/tags/}\"}" https://api.github.com/repos/cuelang/cuelang.org/dispatches'
-    - name: Trigger unity build
-      run: 'curl -f -s -H "Content-Type: application/json" -u cueckoo:${{ secrets.CUECKOO_GITHUB_PAT
-        }} --request POST --data-binary "{\"event_type\": \"Check against CUE ${GITHUB_REF##refs/tags/}\",
-        \"client_payload\": {\"type\": \"unity\", \"payload\": {\"versions\": \"\\\"${GITHUB_REF##refs/tags/}\\\"\"}}}"
-        https://api.github.com/repos/cue-sh/unity/dispatches'
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
deleted file mode 100644
index 30d0c5d..0000000
--- a/.github/workflows/release.yml
+++ /dev/null
@@ -1,63 +0,0 @@
-# Generated by internal/ci/ci_tool.cue; do not edit
-
-name: Release
-on:
-  push:
-    tags:
-    - v*
-jobs:
-  goreleaser:
-    runs-on: ubuntu-18.04
-    defaults:
-      run:
-        shell: bash
-    steps:
-    - name: Checkout code
-      uses: actions/checkout@v2
-      with:
-        fetch-depth: 0
-    - name: Install Go
-      uses: actions/setup-go@v2
-      with:
-        go-version: ${{ matrix.go-version }}
-        version: 1.15.8
-        stable: false
-    - name: Run GoReleaser
-      uses: goreleaser/goreleaser-action@v2
-      with:
-        args: release --rm-dist
-        version: v0.155.1
-      env:
-        GITHUB_TOKEN: ${{ secrets.ACTIONS_GITHUB_TOKEN }}
-  docker:
-    name: docker
-    runs-on: ubuntu-18.04
-    defaults:
-      run:
-        shell: bash
-    steps:
-    - name: Checkout code
-      uses: actions/checkout@v2
-    - name: Set version environment
-      run: |-
-        CUE_VERSION=$(echo ${GITHUB_REF##refs/tags/v})
-        echo "CUE_VERSION=$CUE_VERSION"
-        echo "CUE_VERSION=$(echo $CUE_VERSION)" >> $GITHUB_ENV
-    - name: Push to Docker Hub
-      uses: docker/build-push-action@v1
-      with:
-        tags: ${{ env.CUE_VERSION }},latest
-        repository: cuelang/cue
-        username: ${{ secrets.DOCKER_USERNAME }}
-        password: ${{ secrets.DOCKER_PASSWORD }}
-        tag_with_ref: false
-        tag_with_sha: false
-        target: cue
-        always_pull: true
-        build_args: GOLANG_VERSION=${{ env.GOLANG_VERSION }},CUE_VERSION=v${{ env.CUE_VERSION
-          }}
-        add_git_labels: true
-      env:
-        DOCKER_BUILDKIT: 1
-        GOLANG_VERSION: 1.14
-        CUE_VERSION: ${{ env.CUE_VERSION }}
diff --git a/.github/workflows/repository_dispatch.yml b/.github/workflows/repository_dispatch.yml
deleted file mode 100644
index 8196115..0000000
--- a/.github/workflows/repository_dispatch.yml
+++ /dev/null
@@ -1,70 +0,0 @@
-# Generated by internal/ci/ci_tool.cue; do not edit
-
-name: Repository Dispatch
-on:
-- repository_dispatch
-jobs:
-  runtrybot:
-    runs-on: ubuntu-18.04
-    defaults:
-      run:
-        shell: bash
-    if: ${{ github.event.client_payload.type == 'runtrybot' }}
-    steps:
-    - name: Trigger trybot
-      run: |-
-        mkdir tmpgit
-        cd tmpgit
-        git init
-        git config user.name cueckoo
-        git config user.email cueckoo@gmail.com
-        git config http.https://github.com/.extraheader "AUTHORIZATION: basic $(echo -n cueckoo:${{ secrets.CUECKOO_GITHUB_PAT }} | base64)"
-        git fetch https://cue-review.googlesource.com/cue ${{ github.event.client_payload.payload.ref }}
-        git checkout -b ci/${{ github.event.client_payload.payload.changeID }}/${{ github.event.client_payload.payload.commit }} FETCH_HEAD
-        git push https://github.com/cuelang/cue ci/${{ github.event.client_payload.payload.changeID }}/${{ github.event.client_payload.payload.commit }}
-  mirror:
-    runs-on: ubuntu-18.04
-    defaults:
-      run:
-        shell: bash
-    if: ${{ github.event.client_payload.type == 'mirror' }}
-    steps:
-    - name: Checkout code
-      uses: actions/checkout@v2
-    - name: Mirror Gerrit to GitHub
-      run: |-
-        cd _scripts
-        docker run --rm -v $PWD/cache:/root/copybara/cache -v $PWD:/usr/src/app --entrypoint="" cueckoo/copybara:afc4ae03eed00b0c9d7415141cd1b5dfa583da7c bash -c " \
-        	set -eu; \
-        	echo \"${{ secrets.gerritCookie }}\" > ~/.gitcookies; \
-        	chmod 600 ~/.gitcookies; \
-        	git config --global user.name cueckoo; \
-        	git config --global user.email cueckoo@gmail.com; \
-        	git config --global http.cookiefile \$HOME/.gitcookies; \
-          	echo https://cueckoo:${{ secrets.CUECKOO_GITHUB_PAT }}@github.com > ~/.git-credentials; \
-        	chmod 600 ~/.git-credentials; \
-        	java -jar /opt/copybara/copybara_deploy.jar migrate copy.bara.sky github; \
-        	"
-  importpr:
-    runs-on: ubuntu-18.04
-    defaults:
-      run:
-        shell: bash
-    if: ${{ github.event.client_payload.type == 'importpr' }}
-    steps:
-    - name: Checkout code
-      uses: actions/checkout@v2
-    - name: 'Import PR #${{ github.event.client_payload.commit }} from GitHub to Gerrit'
-      run: |-
-        cd _scripts
-        docker run --rm -v $PWD/cache:/root/copybara/cache -v $PWD:/usr/src/app --entrypoint="" cueckoo/copybara:afc4ae03eed00b0c9d7415141cd1b5dfa583da7c bash -c " \
-        	set -eu; \
-        	echo \"${{ secrets.gerritCookie }}\" > ~/.gitcookies; \
-        	chmod 600 ~/.gitcookies; \
-        	git config --global user.name cueckoo; \
-        	git config --global user.email cueckoo@gmail.com; \
-        	git config --global http.cookiefile \$HOME/.gitcookies; \
-          	echo https://cueckoo:${{ secrets.CUECKOO_GITHUB_PAT }}@github.com > ~/.git-credentials; \
-        	chmod 600 ~/.git-credentials; \
-        	java -jar /opt/copybara/copybara_deploy.jar migrate copy.bara.sky github-pr ${{ github.event.client_payload.payload.pr }}; \
-        	"
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
deleted file mode 100644
index 7bd0271..0000000
--- a/.github/workflows/test.yml
+++ /dev/null
@@ -1,120 +0,0 @@
-# Generated by internal/ci/ci_tool.cue; do not edit
-
-name: Test
-on:
-  push:
-    branches:
-    - '**'
-    tags-ignore:
-    - v*
-jobs:
-  start:
-    runs-on: ubuntu-18.04
-    defaults:
-      run:
-        shell: bash
-    steps:
-    - if: ${{ startsWith(github.ref, 'refs/heads/ci/') }}
-      name: Write the gitcookies file
-      run: echo "${{ secrets.gerritCookie }}" > ~/.gitcookies
-    - if: ${{ startsWith(github.ref, 'refs/heads/ci/') }}
-      name: Update Gerrit CL message with starting message
-      run: 'curl -f -s -H "Content-Type: application/json" --request POST --data ''{"tag":"trybot","message":"Started
-        the build... see progress at ${{ github.event.repository.html_url }}/actions/runs/${{
-        github.run_id }}"}'' -b ~/.gitcookies https://cue-review.googlesource.com/a/changes/$(basename
-        $(dirname $GITHUB_REF))/revisions/$(basename $GITHUB_REF)/review'
-  test:
-    needs: start
-    strategy:
-      fail-fast: false
-      matrix:
-        go-version:
-        - 1.14.14
-        - 1.15.8
-        - "1.16"
-        os:
-        - ubuntu-18.04
-        - macos-10.15
-        - windows-2019
-    runs-on: ${{ matrix.os }}
-    defaults:
-      run:
-        shell: bash
-    steps:
-    - name: Write the gitcookies file
-      run: echo "${{ secrets.gerritCookie }}" > ~/.gitcookies
-    - name: Install Go
-      uses: actions/setup-go@v2
-      with:
-        go-version: ${{ matrix.go-version }}
-        stable: false
-    - name: Checkout code
-      uses: actions/checkout@v2
-    - name: Cache Go modules
-      uses: actions/cache@v1
-      with:
-        path: ~/go/pkg/mod
-        key: ${{ runner.os }}-${{ matrix.go-version }}-go-${{ hashFiles('**/go.sum')
-          }}
-        restore-keys: ${{ runner.os }}-${{ matrix.go-version }}-go-
-    - if: ${{ github.ref == 'refs/heads/master' }}
-      name: Set go build tags
-      run: go env -w GOFLAGS=-tags=long
-    - if: matrix.go-version == '1.14.14' && matrix.os != 'windows-2019'
-      name: Generate
-      run: go generate ./...
-    - name: Test
-      run: go test ./...
-    - if: ${{ github.ref == 'refs/heads/master' || startsWith(github.ref, 'refs/heads/ci/')
-        && matrix.go-version == '1.15.8' && matrix.os == 'ubuntu-18.04' }}
-      name: Test with -race
-      run: go test -race ./...
-    - name: gorelease check
-      run: go run golang.org/x/exp/cmd/gorelease
-    - name: Check that git is clean post generate and tests
-      run: test -z "$(git status --porcelain)" || (git status; git diff; false)
-    - if: ${{ github.ref == 'refs/heads/master' }}
-      name: Pull this commit through the proxy on master
-      run: |-
-        v=$(git rev-parse HEAD)
-        cd $(mktemp -d)
-        go mod init mod.com
-        GOPROXY=https://proxy.golang.org go get -d cuelang.org/go/cmd/cue@$v
-    - if: ${{ startsWith(github.ref, 'refs/heads/ci/') && failure() }}
-      name: Post any failures for this matrix entry
-      run: 'curl -f -s -H "Content-Type: application/json" --request POST --data ''{"tag":"trybot","message":"Build
-        failed for ${{ runner.os }}-${{ matrix.go-version }}; see ${{ github.event.repository.html_url
-        }}/actions/runs/${{ github.run_id }} for more details","labels":{"Code-Review":-1}}''
-        -b ~/.gitcookies https://cue-review.googlesource.com/a/changes/$(basename
-        $(dirname $GITHUB_REF))/revisions/$(basename $GITHUB_REF)/review'
-  mark_ci_success:
-    runs-on: ubuntu-18.04
-    if: ${{ startsWith(github.ref, 'refs/heads/ci/') }}
-    needs: test
-    defaults:
-      run:
-        shell: bash
-    steps:
-    - name: Write the gitcookies file
-      run: echo "${{ secrets.gerritCookie }}" > ~/.gitcookies
-    - name: Update Gerrit CL message with success message
-      run: 'curl -f -s -H "Content-Type: application/json" --request POST --data ''{"tag":"trybot","message":"Build
-        succeeded for ${{ github.event.repository.html_url }}/actions/runs/${{ github.run_id
-        }}","labels":{"Code-Review":1}}'' -b ~/.gitcookies https://cue-review.googlesource.com/a/changes/$(basename
-        $(dirname $GITHUB_REF))/revisions/$(basename $GITHUB_REF)/review'
-  delete_build_branch:
-    runs-on: ubuntu-18.04
-    if: ${{ startsWith(github.ref, 'refs/heads/ci/') && always() }}
-    needs: test
-    defaults:
-      run:
-        shell: bash
-    steps:
-    - run: |-
-        mkdir tmpgit
-        cd tmpgit
-        git init
-        git config user.name cueckoo
-        git config user.email cueckoo@gmail.com
-        git config http.https://github.com/.extraheader "AUTHORIZATION: basic $(echo -n cueckoo:${{ secrets.CUECKOO_GITHUB_PAT }} | base64)"
-        git push https://github.com/cuelang/cue :${GITHUB_REF#refs/heads/}
diff --git a/.github/workflows/tip_triggers.yml b/.github/workflows/tip_triggers.yml
deleted file mode 100644
index 067fe4e..0000000
--- a/.github/workflows/tip_triggers.yml
+++ /dev/null
@@ -1,22 +0,0 @@
-# Generated by internal/ci/ci_tool.cue; do not edit
-
-name: Push to tip triggers
-on:
-  push:
-    branches:
-    - master
-jobs:
-  push:
-    runs-on: ubuntu-18.04
-    defaults:
-      run:
-        shell: bash
-    steps:
-    - name: Rebuild tip.cuelang.org
-      run: curl -f -s -X POST -d {} https://api.netlify.com/build_hooks/${{ secrets.CuelangOrgTipRebuildHook
-        }}
-    - name: Trigger unity build
-      run: 'curl -f -s -H "Content-Type: application/json" -u cueckoo:${{ secrets.CUECKOO_GITHUB_PAT
-        }} --request POST --data-binary "{\"event_type\": \"Check against ${GITHUB_SHA}\",
-        \"client_payload\": {\"type\": \"unity\", \"payload\": {\"versions\": \"\\\"commit:${GITHUB_SHA}\\\"\"}}}"
-        https://api.github.com/repos/cue-sh/unity/dispatches'