From 87138c4741294baefb6eab0abbc283d400b4e926 Mon Sep 17 00:00:00 2001
From: Leonhard Markert <curiousleo@users.noreply.github.com>
Date: Wed, 14 Jul 2021 10:41:02 +0200
Subject: [PATCH] Remove redundant "bazel build //..." (#20)

See https://github.com/bazelbuild/bazel/issues/4257#issuecomment-396268175.
---
 .github/workflows/ci.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 5f2c695..f9b3b5c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -21,6 +21,4 @@ jobs:
         ./tools/check-bazel
         ./tools/check-java
 
-    - run: bazel build //...
-
     - run: bazel test //...