diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 794474624f..a5bce968e9 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -22,4 +22,6 @@ jobs: path: ~/.cache/bazel key: bazel - name: Run tests - run: bazel test --test_output=errors //test/scip --config=dbg + run: bazel test --explain log --verbose_explanations --test_output=errors //test/scip --config=dbg + - name: Print bazel log + run: cat log