Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 0e8d171

Browse files
authoredFeb 10, 2025··
Merge branch 'master' into an/increase-coverage
2 parents 629be3b + fc05d0a commit 0e8d171

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed
 

Diff for: ‎scripts/create_perf_table.py

+3
Original file line numberDiff line numberDiff line change
@@ -38,6 +38,9 @@
3838
task_name = result[0][1]
3939
perf_type = result[0][2]
4040
perf_time = float(result[0][3])
41+
if perf_time < 1.0:
42+
msg = f"Performance time = {perf_time} < 1 second : for {task_type} - {task_name} - {perf_type} \n"
43+
raise Exception(msg)
4144
result_tables[perf_type][task_name][task_type] = perf_time
4245

4346

0 commit comments

Comments
 (0)
Please sign in to comment.