mirror of
https://github.com/zama-ai/concrete.git
synced 2026-02-09 03:55:04 -05:00
chore(scripts): replace : with colon in measurement script
This commit is contained in:
@@ -20,6 +20,7 @@ def name_to_id(name):
|
||||
name = name.replace("/", "over")
|
||||
name = name.replace("%", "percent")
|
||||
name = name.replace("&", "and")
|
||||
name = name.replace(":", "colon")
|
||||
name = name.replace(" ", "-")
|
||||
name = name.replace("(", "")
|
||||
name = name.replace(")", "")
|
||||
|
||||
Reference in New Issue
Block a user