Function log

build-system/common/logging.js:21–25

* Logs messages with a timestamp. The timezone suffix is dropped. * @param {...any} messages

(...messages)

 * @param  {...any} messages
 */
function log(...messages) {
  const timestamp = new Date().toTimeString().split(' ')[0];
  const prefix = `[${gray(timestamp)}]`;
  console.log(prefix, ...messages);
}

/**
 * Sets the logging prefix for the ongoing PR check job