import Lean.Server.Test.Runner

def main := Lean.Server.Test.Runner.main