diff options
| author |  David Wong <mimoo@users.noreply.github.com> | 2021-10-20 14:04:38 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2021-10-20 22:04:38 +0100 |
| commit | a620d4dee7bd6fd1982286d501bdd1a36e17aa6d (patch) | |
| tree | 58e856b400cd2718adf2dd8810b63d85cb6d12e1 /projects/libra | |
| parent | 6689dd69665641643dd4df592144b095a53fcca5 (diff) | |
disable libra (#6624)
Diffstat (limited to 'projects/libra')
| -rw-r--r-- | projects/libra/project.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/projects/libra/project.yaml b/projects/libra/project.yaml index 73067313..270476d7 100644 --- a/projects/libra/project.yaml +++ b/projects/libra/project.yaml @@ -9,4 +9,5 @@ sanitizers: - address fuzzing_engines: - libfuzzer +disabled: true main_repo: 'https://github.com/libra/libra' |