diff options
author | Bert Belder <bertbelder@gmail.com> | 2021-07-06 15:50:19 +0200 |
---|---|---|
committer | Bert Belder <bertbelder@gmail.com> | 2021-07-06 15:51:28 +0200 |
commit | 753fd1eacc0ca7bcb5dd36b164dca4e340be03b4 (patch) | |
tree | 1821aff47ca45255cab0bdbcdd09dc793cd2b754 | |
parent | b7d0667a7445f2590ef4cf606efdb435c32cf16a (diff) |
ci: avoid running man-db triggers when setting up sysroot (#11300)
-rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6f1aea50b..1efb99f2a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -158,6 +158,9 @@ jobs: - name: Set up Linux sysroot with Ubuntu 18.04 and LLVM if: matrix.use_sysroot run: | + # Avoid running man-db triggers, which sometimes takes several minutes + # to complete. + sudo apt-get remove -y --purge man-db sudo apt-get update sudo apt-get install debootstrap |