mirror of
https://github.com/zama-ai/concrete.git
synced 2026-02-08 19:44:57 -05:00
chore(benchmarks): manage comma and point signs
This commit is contained in:
committed by
Benoit Chevallier
parent
7f1222ed37
commit
f1d28c0fad
@@ -23,6 +23,8 @@ def name_to_id(name):
|
||||
name = name.replace(" ", "-")
|
||||
name = name.replace("(", "")
|
||||
name = name.replace(")", "")
|
||||
name = name.replace(",", "")
|
||||
name = name.replace(".", "-")
|
||||
|
||||
return urllib.parse.quote_plus(name.lower())
|
||||
|
||||
|
||||
Reference in New Issue
Block a user