diff options
| author | Victor Costan <costan@google.com> | 2023-03-28 20:06:53 -0700 |
|---|---|---|
| committer | Victor Costan <costan@google.com> | 2023-03-28 20:17:54 -0700 |
| commit | 77d66aaf3edd6db0f1bfb4308fdc68c62fcc7bf6 (patch) | |
| tree | db92cc424798cd247ed71d4c14b4cb7e0f4e6c2c /include | |
| parent | 9cbbc5fb75cbd512e6168c6f00691417cfcac2f0 (diff) | |
| download | leveldb-77d66aaf3edd6db0f1bfb4308fdc68c62fcc7bf6.tar.gz | |
Fix GitHub CI on Linux.
This PR temporarily removes a package that is currently broken on
GitHub's Ubuntu 22.04 installation. This is the most expedient way to
make the CI green again, so we can test any other changes we may want to
land.
PiperOrigin-RevId: 520206940
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions