message: Fix SQLancer CI
diff: @@ -38,7 +38,7 @@ if not os.path.isfile(shell):
  print(f"Could not find shell \"{shell}\"")
  exit(1)
  -if seed < 0:
  +if seed is None:
  seed = random.randint(0, 2 ** 30)
  git_hash = fuzzer_helper.get_github_hash()
  