extend CI tool check to dot_builtins

Related to #1851.

diff --git a/ci/tests.py b/ci/tests.py
index 79cb70e1ebba6c8f7ca2d2c11b73c65898e3885b..92aa5ff8a20ce601c874a098f4d5839d139c2263 100644 (file)
--- a/ci/tests.py
+++ b/ci/tests.py
@@ -10,6 +10,7 @@ import subprocess
 import os
 
 @pytest.mark.parametrize('binary', [
+  'dot_builtins',
   'mingle',
   'smyrna',
 ])
@@ -20,6 +21,12 @@ def test_existence(binary: str):
 
   os_id = os.getenv('OS_ID')
 
+  # FIXME: Remove skip when
+  # https://gitlab.com/graphviz/graphviz/-/issues/1839 is fixed
+  if os_id in ['centos', 'fedora'] and binary == 'dot_builtins':
+    check_that_tool_does_not_exist(binary, os_id)
+    pytest.skip('dot_builtins is not installed for ' + os_id + ' (#1839)')
+
   # FIXME: Remove skip when
   # https://gitlab.com/graphviz/graphviz/-/issues/1835 is fixed
   if os_id in ['ubuntu', 'centos'] and binary == 'mingle':