summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVictor Costan <costan@google.com>2023-03-28 20:06:53 -0700
committerVictor Costan <costan@google.com>2023-03-28 20:17:54 -0700
commit77d66aaf3edd6db0f1bfb4308fdc68c62fcc7bf6 (patch)
treedb92cc424798cd247ed71d4c14b4cb7e0f4e6c2c
parent9cbbc5fb75cbd512e6168c6f00691417cfcac2f0 (diff)
downloadleveldb-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
-rw-r--r--.github/workflows/build.yml5
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index efb81ee..d28902e 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -66,10 +66,11 @@ jobs:
- name: Install dependencies on Linux
if: ${{ runner.os == 'Linux' }}
+ # libgoogle-perftools-dev is temporarily removed from the package list
+ # because it is currently broken on GitHub's Ubuntu 22.04.
run: |
sudo apt-get update
- sudo apt-get install libgoogle-perftools-dev libkyotocabinet-dev \
- libsnappy-dev libsqlite3-dev
+ sudo apt-get install libkyotocabinet-dev libsnappy-dev libsqlite3-dev
- name: Generate build config
run: >-