From 90623eca500dfcc82228c544eaad92ed3b73d8c0 Mon Sep 17 00:00:00 2001 From: Varun Gandhi Date: Tue, 12 Jul 2022 10:13:34 +0800 Subject: [PATCH] ci: Fix build caching maybe. I wonder if using the custom ./bazel script is messing things up. --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 404fdb5dac..794474624f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -22,4 +22,4 @@ jobs: path: ~/.cache/bazel key: bazel - name: Run tests - run: ./bazel test --test_output=errors //test/scip --config=dbg + run: bazel test --test_output=errors //test/scip --config=dbg