update the prefix

williambdean · williambdean · commit 0beaadb6245f · 2025-02-20T08:21:14.000+01:00
diff --git a/scripts/slowest_tests/update-slowest-times-issue.sh b/scripts/slowest_tests/update-slowest-times-issue.sh
@@ -42,7 +42,7 @@ function skip_job() {
 # Remove common prefix from the name
 function remove_prefix() {
     name=$1
-    echo $name | sed -e 's/^ubuntu-latest test py3.12 : fast-compile 0 : float32 0 : //'
+    echo $name | sed -e 's/^ubuntu-latest test py3.12 numpy>=2.0 : fast-compile 0 : float32 0 : //'
 }
 
 function human_readable_time() {

Original file line number	Diff line number	Diff line change
`@@ -42,7 +42,7 @@ function skip_job() {`
`42`	`42`	`# Remove common prefix from the name`
`43`	`43`	`function remove_prefix() {`
`44`	`44`	`name=$1`
`45`		`- echo $name \| sed -e 's/^ubuntu-latest test py3.12 : fast-compile 0 : float32 0 : //'`
	`45`	`+ echo $name \| sed -e 's/^ubuntu-latest test py3.12 numpy>=2.0 : fast-compile 0 : float32 0 : //'`
`46`	`46`	`}`
`47`	`47`
`48`	`48`	`function human_readable_time() {`