Use already installed rustc if available [ci skip]

2023-07-21 18:38:29 +09:00 · 2023-07-21 18:38:29 +09:00 · 22f9735587
commit 22f9735587
parent 7fdf98ef39
1 changed files with 5 additions and 1 deletions
--- 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: >