int --> float

Author: OliverRietmann

.github/scripts/profiler_nvidia.py

@@ -18,7 +18,7 @@
     if row:
       full_name = row[8]
       instances = int(row[2])
-      time = int(row[1])
+      time = float(row[1])
       sigma = float(row[7])
       if len(full_name) > 5 and full_name[:5] == "krnl_":
         name = full_name[5:]