Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Do Bazel CI builds also for pull requests (#1083)
Currently, Bazel CI Builds run only after a merge. Therefore, during the PR is open no Bazel build errors are shown - only when the PR is merged (when its to late) Signed-off-by: Vertexwahn <julian.amann@tum.de>
- Loading branch information