From 22f9735587aff23929e6e436567fcfb3d48be73e Mon Sep 17 00:00:00 2001 From: Nobuyoshi Nakada Date: Fri, 21 Jul 2023 18:38:29 +0900 Subject: [PATCH] Use already installed `rustc` if available [ci skip] --- .github/workflows/compilers.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/compilers.yml b/.github/workflows/compilers.yml index b95a865e2c..a8e417f9a6 100644 --- a/.github/workflows/compilers.yml +++ b/.github/workflows/compilers.yml @@ -241,7 +241,11 @@ jobs: - name: Install Rust if: ${{ matrix.entry.rust }} - run: sudo apt-get update && sudo apt install -y rustc + run: | + command -v rustc || + { + sudo apt-get update && sudo apt install -y rustc + } - name: Run configure run: >