tree ada97cb569e4f01dd2420747ba13d6c384ce1d88
parent 0b6c561830bd222f84aa55fa806ac65b767b9542
author Davide Pesavento <davidepesa@gmail.com> 1707181554 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1707182302 -0500

ci: expand lib64 workaround to more Linux distros

Refs: #5299
Change-Id: I0b40cd2b463b92d3b97d08e9edabab673fb13e57