apt-install still needed?

[AlexanderLanin]

github has removed mandb globally. So do we still need this action? At least the time measurement needs to be prepated.

[AlexanderLanin]

benchmark job created