diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/compilers.yml | 6 |
1 files changed, 5 insertions, 1 deletions
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: > |