From 77d66aaf3edd6db0f1bfb4308fdc68c62fcc7bf6 Mon Sep 17 00:00:00 2001 From: Victor Costan Date: Tue, 28 Mar 2023 20:06:53 -0700 Subject: 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 --- .github/workflows/build.yml | 5 +++-- 1 file 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: >- -- cgit v1.2.1