From 8586ea0baca068a24a837342554f452aa9929398 Mon Sep 17 00:00:00 2001
From: Stanis Trendelenburg <stanis.trendelenburg@gmail.com>
Date: Mon, 24 Feb 2025 21:47:16 +0100
Subject: [PATCH] ci: disable man-db update

This saves about 10 seconds when installing a package with `apt-get`.
---
 .github/workflows/build.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index cfc2ddf..49bf5e2 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -25,6 +25,7 @@ jobs:
 
       - name: Install just
         run: |
+          sudo rm -f /var/lib/man-db/auto-update  # disable man-db update
           sudo apt-get update
           sudo apt-get install -y just