You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This introduces a new local GitHub action for installing Debian
packages. I noticed that it often takes several minutes to install a
few small packages, and a large part of that time is spent updating
the man page database:
2025-09-20T11:39:25.3001853Z Setting up yapf3 (0.33.0-1) ...
2025-09-20T11:39:25.3045329Z Processing triggers for libc-bin (2.39-0ubuntu8.5) ...
2025-09-20T11:39:25.4420933Z Processing triggers for man-db (2.12.0-4build2) ...
2025-09-20T11:41:42.8522570Z Processing triggers for install-info (7.1-3build2) ...
Excluding the documentation files should make the man-db run much
faster. Compare these two runs:
* Before: 2m 41s, see
https://github.com/google/comprehensive-rust/actions/runs/17879390708/job/50845084995.
* After: 11s, https://github.com/google/comprehensive-rust/actions/runs/17880418155/job/50847334471
0 commit comments