AryaWu commited on
Commit
5555688
·
verified ·
1 Parent(s): 1a74ea4

Update app.py

Browse files
Files changed (1) hide show
  1. app.py +0 -1
app.py CHANGED
@@ -9,7 +9,6 @@ Eventually add filters based on headers
9
  """
10
  HEADERS = ["__index_level_0__", "problem", "username", "entrypoint", "tests_passed", "total_tests"]
11
  DATATYPES = ["number", "str", "str", "str", "number", "number"]
12
-
13
  SUCCESS_HEADERS = ["is_success", "first_attempt","is_first_success", "last_attempt", "is_last_success"]
14
  SUCCESS_DATATYPES = ["bool"]*5
15
 
 
9
  """
10
  HEADERS = ["__index_level_0__", "problem", "username", "entrypoint", "tests_passed", "total_tests"]
11
  DATATYPES = ["number", "str", "str", "str", "number", "number"]
 
12
  SUCCESS_HEADERS = ["is_success", "first_attempt","is_first_success", "last_attempt", "is_last_success"]
13
  SUCCESS_DATATYPES = ["bool"]*5
14