summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBert Belder <bertbelder@gmail.com>2021-07-06 15:50:19 +0200
committerBert Belder <bertbelder@gmail.com>2021-07-06 15:51:28 +0200
commit753fd1eacc0ca7bcb5dd36b164dca4e340be03b4 (patch)
tree1821aff47ca45255cab0bdbcdd09dc793cd2b754
parentb7d0667a7445f2590ef4cf606efdb435c32cf16a (diff)
ci: avoid running man-db triggers when setting up sysroot (#11300)
-rw-r--r--.github/workflows/ci.yml3
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