diff --git a/.github/workflows/generate-matrix.py b/.github/workflows/generate-matrix.py
new file mode 100755
index 000000000..fb0bc435a
--- /dev/null
+++ b/.github/workflows/generate-matrix.py
@@ -0,0 +1,28 @@
+#!/usr/bin/env python3
+
+# Copyright 2021 The Verible Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#      http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+from pathlib import Path
+
+matrix = []
+
+with (Path(__file__).parent.resolve().parent.parent / 'releasing' / 'supported_bases.txt').open('r') as fptr:
+    for items in [line.strip().split(':') for line in fptr.readlines()]:
+        matrix.append({
+            'os': items[0],
+            'ver': items[1]
+        })
+
+print('::set-output name=matrix::' + str(matrix))
diff --git a/.github/workflows/verible-ci.yml b/.github/workflows/verible-ci.yml
index 3ab8f94bd..481a3f571 100644
--- a/.github/workflows/verible-ci.yml
+++ b/.github/workflows/verible-ci.yml
@@ -5,6 +5,7 @@ on:
   pull_request:
 
 env:
+  DOCKER_BUILDKIT: 1
   BOT_USER: "Deployment Bot"
   BOT_EMAIL: "verible-dev@googlegroups.com"
 
@@ -15,6 +16,7 @@ jobs:
     runs-on: ubuntu-20.04
 
     steps:
+
     - name: Checkout code
       uses: actions/checkout@v2
       with:
@@ -41,7 +43,9 @@ jobs:
     env:
       MODE: ${{ matrix.mode }}
     name: Check · ${{ matrix.mode }}
+
     steps:
+
     - name: Checkout code
       uses: actions/checkout@v2
       with:
@@ -84,6 +88,7 @@ jobs:
     runs-on: ubuntu-20.04
 
     steps:
+
     - name: Checkout code
       uses: actions/checkout@v2
       with:
@@ -116,21 +121,24 @@ jobs:
         source ./.github/settings.sh
         ./.github/workflows/run-kythe.sh
 
-    - name: Upload Kythe output
+    - name: 📤 Upload Kythe output
       uses: actions/upload-artifact@v2
       with:
-        name: verible-kythe-index
         path: kythe_output/*.kzip
 
 
   Matrix:
     runs-on: ubuntu-latest
+    name: Generate Build matrix
     outputs:
       matrix: ${{ steps.generate.outputs.matrix }}
+
     steps:
+
     - uses: actions/checkout@v2
+
     - id: generate
-      run: ./.github/workflows/generate_matrix.sh
+      run: ./.github/workflows/generate-matrix.py
 
 
   Build:
@@ -140,7 +148,10 @@ jobs:
       fail-fast: false
       matrix:
         include: ${{ fromJson(needs.Matrix.outputs.matrix) }}
-    name: Build · ${{ matrix.os }} ${{ matrix.version }}
+    env:
+      MATRIX_OS: '${{ matrix.os }}:${{ matrix.ver }}'
+    name: 'Build · ${{ matrix.os }}:${{ matrix.ver }}'
+
     steps:
 
     - uses: actions/checkout@v2
@@ -148,14 +159,13 @@ jobs:
        # Download complete repository + tags
        fetch-depth: 0
 
-    - run: docker pull ${{ matrix.os }}:${{ matrix.version }}
+    - run: docker pull $MATRIX_OS
 
     - name: Main script
       run: |
         set -x
         source ./.github/settings.sh
-        cd releasing
-        ./docker-run.sh ${{ matrix.os }}-${{ matrix.version }}
+        ./releasing/docker-run.sh $MATRIX_OS
 
     - name: 📤 Upload artifact
       uses: actions/upload-artifact@v2
@@ -167,6 +177,7 @@ jobs:
     needs: [ Check, Build ]
     runs-on: ubuntu-20.04
     name: 📦 Release
+
     steps:
 
     - uses: actions/checkout@v2
@@ -177,7 +188,7 @@ jobs:
     - name: 📥 Download artifacts
       uses: actions/download-artifact@v2
 
-    - name: After success
+    - name: Generate and apply TAG
       run: |
         git config --local user.name "$BOT_USER"
         git config --local user.email "$BOT_EMAIL"
@@ -190,7 +201,7 @@ jobs:
 
         ls -lah artifact
 
-    - name: Deployment
+    - name: Deploy release and assets
       if: github.ref == 'refs/heads/master' && github.event_name != 'pull_request'
       uses: svenstaro/upload-release-action@v2
       with:
diff --git a/.github/workflows/generate_matrix.sh b/releasing/build.sh
similarity index 67%
rename from .github/workflows/generate_matrix.sh
rename to releasing/build.sh
index 54314102d..699c9cfc3 100755
--- a/.github/workflows/generate_matrix.sh
+++ b/releasing/build.sh
@@ -1,5 +1,6 @@
 #!/usr/bin/env bash
-# Copyright 2020 The Verible Authors.
+
+# Copyright 2021 The Verible Authors.
 #
 # Licensed under the Apache License, Version 2.0 (the "License");
 # you may not use this file except in compliance with the License.
@@ -15,12 +16,7 @@
 
 set -e
 
-matrix='['
-for item in releasing/*/; do
-  matrix+='{"os": "'"`echo $(basename $item) | cut -d- -f1`"'", "version": "'"`echo $(basename $item) | cut -d- -f2`"'"},'
-done
-matrix+=']'
-
-echo "$matrix"
+cd $(dirname "$0")/..
 
-echo "::set-output name=matrix::$matrix"
+./.github/workflows/github-pages-setup.sh
+./.github/workflows/github-releases-setup.sh /out
diff --git a/releasing/centos-7/.keepme b/releasing/centos-7/.keepme
deleted file mode 100644
index e69de29bb..000000000
diff --git a/releasing/centos-8/.keepme b/releasing/centos-8/.keepme
deleted file mode 100644
index e69de29bb..000000000
diff --git a/releasing/docker-generate.sh b/releasing/docker-generate.sh
deleted file mode 100755
index c981fbaae..000000000
--- a/releasing/docker-generate.sh
+++ /dev/null
@@ -1,263 +0,0 @@
-#!/bin/bash
-# Copyright 2020 The Verible Authors.
-#
-# Licensed under the Apache License, Version 2.0 (the "License");
-# you may not use this file except in compliance with the License.
-# You may obtain a copy of the License at
-#
-#      http://www.apache.org/licenses/LICENSE-2.0
-#
-# Unless required by applicable law or agreed to in writing, software
-# distributed under the License is distributed on an "AS IS" BASIS,
-# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-# See the License for the specific language governing permissions and
-# limitations under the License.
-
-# This script generates Dockerfile scripts to produce images used for
-# releasing binary packages.
-
-set -e
-
-DIRS=${1:-$(find -mindepth 1 -maxdepth 1 -type d)}
-
-REPO_SLUG=${GITHUB_REPOSITORY_SLUG:-google/verible}
-GIT_DATE=${GIT_DATE:-$(git show -s --format=%ci)}
-GIT_VERSION=${GIT_VERSION:-$(git describe --match=v*)}
-GIT_HASH=${GIT_HASH:-$(git rev-parse HEAD)}
-
-if [ -z "${BAZEL_VERSION}" ]; then
-  echo "Make sure that \$BAZEL_VERSION ($BAZEL_VERSION) is set."
-  echo " (try 'source ../.github/settings.sh')"
-  exit 1
-fi
-if [ -z "${BAZEL_OPTS}" ]; then
-  echo "Make sure that \$BAZEL_OPTS ($BAZEL_OPTS) is set."
-  echo " (try 'source ../.github/settings.sh')"
-  exit 1
-fi
-if [ -z "${BAZEL_CXXOPTS}" ]; then
-  echo "Make sure that \$BAZEL_CXXOPTS ($BAZEL_CXXOPTS) is set."
-  echo " (try 'source ../.github/settings.sh')"
-  exit 1
-fi
-
-# ==================================================================
-# Generate the Docker files for ubuntu versions
-# ==================================================================
-for UBUNTU_VERSION in xenial bionic focal groovy; do
-    # Install basic tools
-    # --------------------------------------------------------------
-    sed "s#ubuntu:VERSION#ubuntu:${UBUNTU_VERSION}#g" $(dirname "$0")/ubuntu.dockerfile > ubuntu-${UBUNTU_VERSION}/Dockerfile
-
-    # Install compiler
-    # --------------------------------------------------------------
-    case $UBUNTU_VERSION in
-        xenial)
-            cat >> ubuntu-${UBUNTU_VERSION}/Dockerfile <<EOF
-# Get a newer GCC and flex version
-RUN add-apt-repository ppa:ubuntu-toolchain-r/test; apt-get update
-RUN apt-get install -y  \\
-    bison               \\
-    build-essential     \\
-    flex                \\
-    g++-7               \\
-    gcc-7
-
-RUN ln -sf /usr/bin/gcc-7 /usr/bin/gcc
-RUN ln -sf /usr/bin/g++-7 /usr/bin/g++
-
-# Link libstdc++ statically
-ENV BAZEL_LINKOPTS "-static-libstdc++:-lm"
-ENV BAZEL_LINKLIBS "-l%:libstdc++.a"
-EOF
-            ;;
-        *)
-            cat >> ubuntu-${UBUNTU_VERSION}/Dockerfile <<EOF
-
-# Install compiler
-RUN apt-get install -y  \\
-    bison               \\
-    build-essential     \\
-    flex                \\
-    g++                 \\
-    gcc
-
-EOF
-            ;;
-    esac
-
-    # Install Bazel
-    # --------------------------------------------------------------
-    cat >> ubuntu-${UBUNTU_VERSION}/Dockerfile <<EOF
-
-# Install bazel
-RUN \\
-    wget --no-verbose "https://github.com/bazelbuild/bazel/releases/download/${BAZEL_VERSION}/bazel_${BAZEL_VERSION}-linux-x86_64.deb" -O /tmp/bazel.deb; \\
-    dpkg -i /tmp/bazel.deb || true; \\
-    apt-get -f install -y
-
-EOF
-
-done
-
-# ==================================================================
-# Generate the Docker files for centos versions
-# ==================================================================
-for CENTOS_VERSION in 7 8; do
-    # Install basic tools
-    # --------------------------------------------------------------
-    sed "s#centos:VERSION#centos:${CENTOS_VERSION}#g" $(dirname "$0")/centos.dockerfile > centos-${CENTOS_VERSION}/Dockerfile
-
-    # Install compiler
-    # --------------------------------------------------------------
-    case $CENTOS_VERSION in
-        6|7)
-            cat >> centos-${CENTOS_VERSION}/Dockerfile <<EOF
-# Link libstdc++ statically so people don't have to install devtoolset-8
-# just to use verible.
-ENV BAZEL_LINKOPTS "-static-libstdc++:-lm -static-libstdc++:-lrt"
-ENV BAZEL_LINKLIBS "-l%:libstdc++.a"
-
-# Get a newer GCC version
-RUN yum install -y --nogpgcheck centos-release-scl
-RUN yum install -y --nogpgcheck devtoolset-8
-
-RUN yum install -y bison flex
-
-# Build a newer version of flex
-RUN \\
-    wget --no-verbose "https://github.com/westes/flex/files/981163/flex-2.6.4.tar.gz" && \\
-    tar -xvf flex-2.6.4.tar.gz && \\
-    cd flex-2.6.4 && \\
-    ./configure --prefix=/usr && \\
-    make -j && \\
-    make install && \\
-    cd .. && \\
-    rm -rf flex-*
-RUN flex --version
-
-SHELL [ "scl", "enable", "devtoolset-8" ]
-EOF
-            ;;
-        8)
-            cat >> centos-${CENTOS_VERSION}/Dockerfile <<EOF
-# Install C++ compiler
-RUN \\
-    yum -y group install --nogpgcheck "Development Tools" || \\
-    yum -y groupinstall --nogpgcheck "Development Tools"
-
-RUN yum install -y bison flex
-
-RUN gcc --version
-RUN g++ --version
-EOF
-            ;;
-        *)
-            echo "Unknown Centos version ${CENTOS_VERSION} when installing compiler."
-            exit 1
-            ;;
-    esac
-
-    # Install Bazel
-    # --------------------------------------------------------------
-    cat >> centos-${CENTOS_VERSION}/Dockerfile <<EOF
-
-# Install bazel
-RUN yum install -y --nogpgcheck \\
-    java-1.8.0-openjdk-devel \\
-    unzip \\
-    zip
-
-RUN java -version
-RUN javac -version
-EOF
-
-    case $CENTOS_VERSION in
-        6)
-            cat >> centos-${CENTOS_VERSION}/Dockerfile <<EOF
-RUN yum install -y --nogpgcheck rh-python36
-SHELL [ "scl", "enable", "rh-python36", "devtoolset-8" ]
-
-RUN python --version
-RUN python3 --version
-
-# Build bazel
-RUN wget --no-verbose https://github.com/bazelbuild/bazel/releases/download/${BAZEL_VERSION}/bazel-${BAZEL_VERSION}-dist.zip
-RUN unzip bazel-${BAZEL_VERSION}-dist.zip -d bazel-${BAZEL_VERSION}-dist
-RUN cd bazel-${BAZEL_VERSION}-dist; \\
-    EXTRA_BAZEL_ARGS="--copt=-D__STDC_FORMAT_MACROS --host_copt=-D__STDC_FORMAT_MACROS" ./compile.sh
-RUN cp bazel-${BAZEL_VERSION}-dist/output/bazel /usr/local/bin
-RUN bazel --version
-
-SHELL [ "scl", "enable", "devtoolset-8" ]
-EOF
-            ;;
-        7|8)
-            cat >> centos-${CENTOS_VERSION}/Dockerfile <<EOF
-ADD https://copr.fedorainfracloud.org/coprs/vbatts/bazel/repo/epel-${CENTOS_VERSION}/vbatts-bazel-epel-${CENTOS_VERSION}.repo /etc/yum.repos.d
-RUN yum install -y --nogpgcheck bazel3
-EOF
-            ;;
-        *)
-            echo "Unknown Centos version ${CENTOS_VERSION} when installing bazel"
-            exit 1
-            ;;
-    esac
-    cat >> centos-${CENTOS_VERSION}/Dockerfile <<EOF
-RUN bazel --version
-EOF
-
-done
-# ==================================================================
-
-for DFILE in $(find -name Dockerfile); do
-    # Install gflags2man
-    # --------------------------------------------------------------
-    cat >> $DFILE <<EOF
-
-# Install gflags2man
-RUN \\
-    wget --no-verbose https://repo.anaconda.com/miniconda/Miniconda2-latest-Linux-x86_64.sh; \\
-    chmod a+x Miniconda2-latest-Linux-x86_64.sh; \\
-    ./Miniconda2-latest-Linux-x86_64.sh -p /usr/local -b -f; \\
-    conda --version
-RUN which pip
-RUN /usr/local/bin/pip install python-gflags
-RUN chmod a+x /usr/local/bin/gflags2man.py
-RUN ln -s /usr/local/bin/gflags2man.py /usr/bin/gflags2man
-RUN gflags2man
-EOF
-
-    # Build Verible
-    # ==================================================================
-    cat >> $DFILE <<EOF
-
-ENV BAZEL_OPTS "${BAZEL_OPTS}"
-ENV BAZEL_CXXOPTS "${BAZEL_CXXOPTS}"
-
-ENV REPO_SLUG $REPO_SLUG
-ENV GIT_VERSION $GIT_VERSION
-ENV GIT_DATE $GIT_DATE
-ENV GIT_HASH $GIT_HASH
-
-RUN which bazel
-RUN bazel --version
-
-ADD verible-$GIT_VERSION.tar.gz /src/verible
-WORKDIR /src/verible/verible-$GIT_VERSION
-RUN bazel build --workspace_status_command=bazel/build-version.sh $BAZEL_OPTS //...
-RUN echo $REPO_SLUG
-RUN echo $GIT_DATE
-RUN echo $GIT_HASH
-RUN echo $GIT_VERSION
-
-RUN ./.github/workflows/github-pages-setup.sh
-RUN ./.github/workflows/github-releases-setup.sh /out/
-EOF
-done
-
-# Create archive for each Docker directory
-# ==================================================================
-for DIR in $DIRS; do
-    (cd .. ; git archive --prefix verible-$GIT_VERSION/ --output releasing/$DIR/verible-$GIT_VERSION.tar.gz HEAD)
-done
diff --git a/releasing/docker-run.sh b/releasing/docker-run.sh
index 50fda5a09..5a902b97c 100755
--- a/releasing/docker-run.sh
+++ b/releasing/docker-run.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 # Copyright 2020 The Verible Authors.
 #
 # Licensed under the Apache License, Version 2.0 (the "License");
@@ -15,32 +15,267 @@
 
 set -e
 
-DIRS=${1:-$(find -mindepth 1 -maxdepth 1 -type d)}
+cd $(dirname "$0")
+
+# Get target OS and version
+
+if [ -z "${1}" ]; then
+  echo "Make sure that \$1 ($1) is set."
+  exit 1
+fi
+
+export TARGET=`echo "$1" | sed 's#:#-#g'`
+
+TARGET_VERSION=`echo $TARGET | cut -d- -f2`
+TARGET_OS=`echo $TARGET | cut -d- -f1`
+
 export TAG=${TAG:-$(git describe --match=v*)}
 
-./docker-generate.sh $DIRS
-
-for DIR in $DIRS; do
-    IMAGE="verible:$DIR-$TAG"
-    echo
-    echo "Docker file for $IMAGE"
-    echo "--------------------------------"
-    cat $DIR/Dockerfile
-    echo "--------------------------------"
-    echo
-    echo "Docker build for $IMAGE"
-    echo "--------------------------------"
-    docker build --tag $IMAGE $DIR
-    echo "--------------------------------"
-    echo
-    echo "Build extraction for $IMAGE"
-    echo "--------------------------------"
-    DOCKER_ID=$(docker create $IMAGE)
-    docker cp $DOCKER_ID:/out - | tar xvf -
-    echo "--------------------------------"
-    echo
-    echo "Cleanup for $IMAGE"
-    echo "--------------------------------"
-    docker rm -v $DOCKER_ID
-    echo "--------------------------------"
-done
+if [ -z "${BAZEL_VERSION}" ]; then
+  echo "Make sure that \$BAZEL_VERSION ($BAZEL_VERSION) is set."
+  echo " (try 'source ../.github/settings.sh')"
+  exit 1
+fi
+if [ -z "${BAZEL_OPTS}" ]; then
+  echo "Make sure that \$BAZEL_OPTS ($BAZEL_OPTS) is set."
+  echo " (try 'source ../.github/settings.sh')"
+  exit 1
+fi
+if [ -z "${BAZEL_CXXOPTS}" ]; then
+  echo "Make sure that \$BAZEL_CXXOPTS ($BAZEL_CXXOPTS) is set."
+  echo " (try 'source ../.github/settings.sh')"
+  exit 1
+fi
+
+# ==================================================================
+# Generate the Docker files for ubuntu versions
+# ==================================================================
+if [ "$TARGET_OS" = "ubuntu" ]; then
+    # Install basic tools
+    # --------------------------------------------------------------
+    mkdir -p ubuntu-${TARGET_VERSION}
+    sed "s#ubuntu:VERSION#ubuntu:${TARGET_VERSION}#g" ubuntu.dockerfile > ubuntu-${TARGET_VERSION}/Dockerfile
+
+    # Install compiler
+    # --------------------------------------------------------------
+    case $TARGET_VERSION in
+        xenial)
+            cat >> ubuntu-${TARGET_VERSION}/Dockerfile <<EOF
+# Get a newer GCC and flex version
+RUN add-apt-repository ppa:ubuntu-toolchain-r/test; apt-get update
+RUN apt-get install -y  \\
+    bison               \\
+    build-essential     \\
+    flex                \\
+    g++-7               \\
+    gcc-7
+
+RUN ln -sf /usr/bin/gcc-7 /usr/bin/gcc
+RUN ln -sf /usr/bin/g++-7 /usr/bin/g++
+
+# Link libstdc++ statically
+ENV BAZEL_LINKOPTS "-static-libstdc++:-lm"
+ENV BAZEL_LINKLIBS "-l%:libstdc++.a"
+EOF
+            ;;
+        *)
+            cat >> ubuntu-${TARGET_VERSION}/Dockerfile <<EOF
+
+# Install compiler
+RUN apt-get install -y  \\
+    bison               \\
+    build-essential     \\
+    flex                \\
+    g++                 \\
+    gcc
+
+EOF
+            ;;
+    esac
+
+    # Install Bazel
+    # --------------------------------------------------------------
+    cat >> ubuntu-${TARGET_VERSION}/Dockerfile <<EOF
+
+# Install bazel
+RUN \\
+    wget --no-verbose "https://github.com/bazelbuild/bazel/releases/download/${BAZEL_VERSION}/bazel_${BAZEL_VERSION}-linux-x86_64.deb" -O /tmp/bazel.deb; \\
+    dpkg -i /tmp/bazel.deb || true; \\
+    apt-get -f install -y
+
+EOF
+fi
+
+# ==================================================================
+# Generate the Docker files for centos versions
+# ==================================================================
+if [ "$TARGET_OS" = "centos" ]; then
+    # Install basic tools
+    # --------------------------------------------------------------
+    mkdir -p centos-${TARGET_VERSION}
+    sed "s#centos:VERSION#centos:${TARGET_VERSION}#g" centos.dockerfile > centos-${TARGET_VERSION}/Dockerfile
+
+    # Install compiler
+    # --------------------------------------------------------------
+    case $TARGET_VERSION in
+        6|7)
+            cat >> centos-${TARGET_VERSION}/Dockerfile <<EOF
+# Link libstdc++ statically so people don't have to install devtoolset-8
+# just to use verible.
+ENV BAZEL_LINKOPTS "-static-libstdc++:-lm -static-libstdc++:-lrt"
+ENV BAZEL_LINKLIBS "-l%:libstdc++.a"
+
+# Get a newer GCC version
+RUN yum install -y --nogpgcheck centos-release-scl
+RUN yum install -y --nogpgcheck devtoolset-8
+
+RUN yum install -y bison flex
+
+# Build a newer version of flex
+RUN \\
+    wget --no-verbose "https://github.com/westes/flex/files/981163/flex-2.6.4.tar.gz" && \\
+    tar -xvf flex-2.6.4.tar.gz && \\
+    cd flex-2.6.4 && \\
+    ./configure --prefix=/usr && \\
+    make -j && \\
+    make install && \\
+    cd .. && \\
+    rm -rf flex-*
+RUN flex --version
+
+SHELL [ "scl", "enable", "devtoolset-8" ]
+EOF
+            ;;
+        8)
+            cat >> centos-${TARGET_VERSION}/Dockerfile <<EOF
+# Install C++ compiler
+RUN \\
+    yum -y group install --nogpgcheck "Development Tools" || \\
+    yum -y groupinstall --nogpgcheck "Development Tools"
+
+RUN yum install -y bison flex
+
+RUN gcc --version
+RUN g++ --version
+EOF
+            ;;
+        *)
+            echo "Unknown Centos version ${TARGET_VERSION} when installing compiler."
+            exit 1
+            ;;
+    esac
+
+    # Install Bazel
+    # --------------------------------------------------------------
+    cat >> centos-${TARGET_VERSION}/Dockerfile <<EOF
+
+# Install bazel
+RUN yum install -y --nogpgcheck \\
+    java-1.8.0-openjdk-devel \\
+    unzip \\
+    zip
+
+RUN java -version
+RUN javac -version
+EOF
+
+    case $TARGET_VERSION in
+        6)
+            cat >> centos-${TARGET_VERSION}/Dockerfile <<EOF
+RUN yum install -y --nogpgcheck rh-python36
+SHELL [ "scl", "enable", "rh-python36", "devtoolset-8" ]
+
+RUN python --version
+RUN python3 --version
+
+# Build bazel
+RUN wget --no-verbose https://github.com/bazelbuild/bazel/releases/download/${BAZEL_VERSION}/bazel-${BAZEL_VERSION}-dist.zip
+RUN unzip bazel-${BAZEL_VERSION}-dist.zip -d bazel-${BAZEL_VERSION}-dist
+RUN cd bazel-${BAZEL_VERSION}-dist; \\
+    EXTRA_BAZEL_ARGS="--copt=-D__STDC_FORMAT_MACROS --host_copt=-D__STDC_FORMAT_MACROS" ./compile.sh
+RUN cp bazel-${BAZEL_VERSION}-dist/output/bazel /usr/local/bin
+RUN bazel --version
+
+SHELL [ "scl", "enable", "devtoolset-8" ]
+EOF
+            ;;
+        7|8)
+            cat >> centos-${TARGET_VERSION}/Dockerfile <<EOF
+ADD https://copr.fedorainfracloud.org/coprs/vbatts/bazel/repo/epel-${TARGET_VERSION}/vbatts-bazel-epel-${TARGET_VERSION}.repo /etc/yum.repos.d
+RUN yum install -y --nogpgcheck bazel3
+EOF
+            ;;
+        *)
+            echo "Unknown Centos version ${TARGET_VERSION} when installing bazel"
+            exit 1
+            ;;
+    esac
+    cat >> centos-${TARGET_VERSION}/Dockerfile <<EOF
+RUN bazel --version
+EOF
+fi
+
+# ==================================================================
+
+REPO_SLUG=${GITHUB_REPOSITORY_SLUG:-google/verible}
+GIT_DATE=${GIT_DATE:-$(git show -s --format=%ci)}
+GIT_VERSION=${GIT_VERSION:-$(git describe --match=v*)}
+GIT_HASH=${GIT_HASH:-$(git rev-parse HEAD)}
+
+# Install gflags2man and build Verible
+# --------------------------------------------------------------
+cat >> ${TARGET_OS}-${TARGET_VERSION}/Dockerfile <<EOF
+# Install gflags2man
+RUN \\
+    wget --no-verbose https://repo.anaconda.com/miniconda/Miniconda2-latest-Linux-x86_64.sh; \\
+    chmod a+x Miniconda2-latest-Linux-x86_64.sh; \\
+    ./Miniconda2-latest-Linux-x86_64.sh -p /usr/local -b -f; \\
+    conda --version
+RUN which pip
+RUN /usr/local/bin/pip install python-gflags
+RUN chmod a+x /usr/local/bin/gflags2man.py
+RUN ln -s /usr/local/bin/gflags2man.py /usr/bin/gflags2man
+RUN gflags2man
+
+ENV BAZEL_OPTS "${BAZEL_OPTS}"
+ENV BAZEL_CXXOPTS "${BAZEL_CXXOPTS}"
+
+ENV REPO_SLUG $REPO_SLUG
+ENV GIT_VERSION $GIT_VERSION
+ENV GIT_DATE $GIT_DATE
+ENV GIT_HASH $GIT_HASH
+
+RUN which bazel
+RUN bazel --version
+
+ADD verible-$GIT_VERSION.tar.gz /src/verible
+WORKDIR /src/verible/verible-$GIT_VERSION
+
+RUN bazel build --workspace_status_command=bazel/build-version.sh $BAZEL_OPTS //...
+EOF
+
+(cd .. ; git archive --prefix verible-$GIT_VERSION/ --output releasing/$TARGET/verible-$GIT_VERSION.tar.gz HEAD)
+
+IMAGE="verible:$TARGET-$TAG"
+
+echo "::group::Docker file for $IMAGE"
+cat $TARGET/Dockerfile
+echo '::endgroup::'
+
+echo "::group::Docker build $IMAGE"
+docker build --tag $IMAGE $TARGET
+echo '::endgroup::'
+
+echo "::group::Build in container"
+mkdir -p out
+docker run --rm \
+  -e BAZEL_OPTS="${BAZEL_OPTS}" \
+  -e BAZEL_CXXOPTS="${BAZEL_CXXOPTS}" \
+  -e REPO_SLUG="${GITHUB_REPOSITORY_SLUG:-google/verible}" \
+  -e GIT_VERSION="${GIT_VERSION:-$(git describe --match=v*)}" \
+  -e GIT_DATE="${GIT_DATE:-$(git show -s --format=%ci)}" \
+  -e GIT_HASH="${GIT_HASH:-$(git rev-parse HEAD)}" \
+  -v $(pwd)/out:/out \
+  $IMAGE \
+  ./releasing/build.sh
+echo '::endgroup::'
diff --git a/releasing/supported_bases.txt b/releasing/supported_bases.txt
new file mode 100644
index 000000000..c2244250b
--- /dev/null
+++ b/releasing/supported_bases.txt
@@ -0,0 +1,6 @@
+centos:7
+centos:8
+ubuntu:bionic
+ubuntu:focal
+ubuntu:groovy
+ubuntu:xenial
diff --git a/releasing/ubuntu-bionic/.keepme b/releasing/ubuntu-bionic/.keepme
deleted file mode 100644
index e69de29bb..000000000
diff --git a/releasing/ubuntu-focal/.keepme b/releasing/ubuntu-focal/.keepme
deleted file mode 100644
index e69de29bb..000000000
diff --git a/releasing/ubuntu-groovy/.keepme b/releasing/ubuntu-groovy/.keepme
deleted file mode 100644
index e69de29bb..000000000
diff --git a/releasing/ubuntu-xenial/.keepme b/releasing/ubuntu-xenial/.keepme
deleted file mode 100644
index e69de29bb..000000000