ci: Add a way to run libm tests that would otherwise be skipped

Introduce a new directive `ci: test-libm` to ensure tests run.

Author: tgross35

ci/ci-util.py

@@ -89,10 +89,14 @@ class PrCfg:
     # spending huge amounts of CI time.
     allow_many_extensive: bool = False
 
+    # Run tests for `libm` that may otherwise be skipped due to no changed files.
+    always_test_libm: bool = False
+
     # String values of directive names
     DIR_ALLOW_REGRESSIONS: str = "allow-regressions"
     DIR_SKIP_EXTENSIVE: str = "skip-extensive"
     DIR_ALLOW_MANY_EXTENSIVE: str = "allow-many-extensive"
+    DIR_TEST_LIBM: str = "test-libm"
 
     # Default threshold
     MANY_EXTENSIVE_THRESHOLD: int = 20
@@ -107,6 +111,8 @@ def __init__(self, body: str):
                 self.skip_extensive = True
             elif name == self.DIR_ALLOW_MANY_EXTENSIVE:
                 self.allow_many_extensive = True
+            elif name == self.DIR_TEST_LIBM:
+                self.always_test_libm = True
             else:
                 eprint(f"Found unexpected directive `{name}`")
                 exit(1)
@@ -256,6 +262,10 @@ def may_skip_libm_ci(self) -> bool:
             eprint("Is a PR but couldn't load PrInfo")
             exit(1)
 
+        # Allow opting in to libm tests
+        if pr.cfg.always_test_libm:
+            return True
+
         # By default, run if there are any changed files matching the pattern
         return all(not re.match(TRIGGER_LIBM_CI_FILE_PAT, str(f)) for f in self.changed)