Skip to content

ci: remove unnecessary ubuntu packages installation#374

Merged
pkuczynski merged 2 commits intomasterfrom
ci/no-install
Jul 9, 2025
Merged

ci: remove unnecessary ubuntu packages installation#374
pkuczynski merged 2 commits intomasterfrom
ci/no-install

Commits

Commits on Jul 9, 2025