use raw string for grep regexp

dhalbert · dhalbert · commit 24ae0c4c73e2 · 2023-11-10T22:42:42.000-05:00
diff --git a/tools/ci_set_matrix.py b/tools/ci_set_matrix.py
@@ -257,7 +257,7 @@ def set_docs(run: bool):
                 if pattern_doc.search(file) and (
                     (
                         subprocess.run(
-                            f"git diff -U0 $BASE_SHA...$HEAD_SHA {github_workspace + file} | grep -o -m 1 '^[+-]\/\/|'",
+                            rf"git diff -U0 $BASE_SHA...$HEAD_SHA {github_workspace + file} | grep -o -m 1 '^[+-]\/\/|'",
                             capture_output=True,
                             shell=True,
                         ).stdout

Original file line number	Diff line number	Diff line change
`@@ -257,7 +257,7 @@ def set_docs(run: bool):`
`257`	`257`	`if pattern_doc.search(file) and (`
`258`	`258`	`(`
`259`	`259`	`subprocess.run(`
`260`		`- f"git diff -U0 $BASE_SHA...$HEAD_SHA {github_workspace + file} \| grep -o -m 1 '^[+-]\/\/\|'",`
	`260`	`+ rf"git diff -U0 $BASE_SHA...$HEAD_SHA {github_workspace + file} \| grep -o -m 1 '^[+-]\/\/\|'",`
`261`	`261`	`capture_output=True,`
`262`	`262`	`shell=True,`
`263`	`263`	`).stdout`