From 779651d14141207e25c426c375dadad9ea5bdb52 Mon Sep 17 00:00:00 2001 From: Raphael Boidol Date: Mon, 9 Oct 2023 18:08:01 +0200 Subject: [PATCH] fix: install `rapidjson` when `*.deb` is cached Signed-off-by: Raphael Boidol --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 6bf5287..0556f52 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -38,10 +38,10 @@ jobs: if: steps.cache.outputs.cache-hit != 'true' run: | wget "https://launchpad.net/ubuntu/+source/rapidjson/1.1.0+dfsg2-3/+build/14513429/+files/rapidjson-dev_1.1.0+dfsg2-3_all.deb" -O rapidjson.deb - sudo dpkg -i rapidjson.deb - name: Install toolchain run: | + sudo dpkg -i rapidjson.deb sudo add-apt-repository ppa:ubuntu-toolchain-r/test sudo apt-get update