[irods/irods#7191] Add Rocky Linux to platforms

irods · Oct 11, 2023 · 476b444 · 476b444
1 parent 9e18c47
commit 476b444
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/irods_consortium_continuous_integration_build_hook.py b/irods_consortium_continuous_integration_build_hook.py
@@ -16,6 +16,7 @@ def update_local_package_repositories():
         'Centos': None,
         'Centos linux': None,
         'Almalinux': None,
+        'Rocky linux': None,
         'Opensuse ':  None,
         'Debian gnu_linux': ['sudo', 'apt-get', 'update']
     }
@@ -78,6 +79,7 @@ def install_os_specific_dependencies():
         'Centos': install_os_specific_dependencies_yum,
         'Centos linux': install_os_specific_dependencies_yum,
         'Almalinux': install_os_specific_dependencies_yum,
+        'Rocky linux': install_os_specific_dependencies_yum,
         'Opensuse ':  install_os_specific_dependencies_yum,
         'Debian gnu_linux': install_os_specific_dependencies_apt
     }