Actually pack up static results for release.

Now that the Build job is not running anymore, we need to get the
resulting binaries from the regular CI run.

.github/workflows/verible-ci.yml

@@ -240,6 +240,17 @@ jobs:
         name: verible-bin
         path: verible-bin.tar
 
+    - name: Pack up static results
+      if: matrix.mode = 'compile-static'
+      run: |
+        VERSION=$(git describe --match=v*)
+        bazel run -c opt :install -- verible-${VERSION}
+        tar cvzf verible-${VERSION}-linux-static-${matrix.arch}.tar.gz verible-${VERSION}
+
+    - name: 📤 Upload artifact
+      uses: actions/upload-artifact@v2
+      with:
+        path: verible-*.tar.gz
 
     - name: 📤 Upload performance graphs
       uses: actions/upload-artifact@v2