function append()

in src/core/query-history.ts [53:62]


function append(historyEntry: {
  result: Value[];
  queryStats: {
    timingInformation: { processingTimeMilliseconds: number };
    consumedIOs: { readIOs: number };
  };
  text: string;
}) {
  fs.appendFileSync(HISTORY_FILE, JSON.stringify(historyEntry) + "\n");
}