dev: add Gentoo as supported distro to checks (#1711)

This commit is contained in:
Alejandro R Mosteo
2025-12-13 20:28:43 +01:00
committed by GitHub
parent 6a715f5469
commit 60f8db7ff7
2 changed files with 2 additions and 1 deletions
+1
View File
@@ -31,6 +31,7 @@ jobs:
- centos-stream-fsf-latest # CentOS is used for unknown package manager
- debian-stable # Debian has very good Ada support and apt
- fedora-latest # Fedora has its own GNAT and dnf
- gentoo-rolling # Gentoo has its own GNAT and emerge
# - opensuse-leap # OpenSUSE has its own GNAT and zypper
# TODO: diagnose and reinstate problems with tar/compiler installation
- ubuntu-lts # Ubuntu LTS is a common Debian derivative