diff --git a/ci/print_skipped.py b/ci/print_skipped.py index 8fd92ab9622ba..72822fa2d3c7f 100755 --- a/ci/print_skipped.py +++ b/ci/print_skipped.py @@ -5,7 +5,7 @@ def main(filename): if not os.path.isfile(filename): - raise RuntimeError(f"Could not find junit file {filename!r}") + raise RuntimeError(f"Could not find junit file {repr(filename)}") tree = et.parse(filename) root = tree.getroot()