diff options
| author | Vertexwahn | 2022-11-11 16:54:22 +0100 |
|---|---|---|
| committer | GitHub | 2022-11-11 16:54:22 +0100 |
| commit | 41990e0fe6274d716134eecfd4d780e976c8fbf5 (patch) | |
| tree | e9d8bd04290b38d3cadef087189f10f8b71d4b4d /tools/scripts/developBuild.py | |
| parent | b65c0e27e9f42c9e96714b8c4973417589368787 (diff) | |
| download | catch3-41990e0fe6274d716134eecfd4d780e976c8fbf5.tar.gz | |
Fix Bazel build (#2563)
Also adds a CI job for Bazel build to avoid future breakage.
Diffstat (limited to 'tools/scripts/developBuild.py')
0 files changed, 0 insertions, 0 deletions