#!/usr/bin/env bash
set -euo pipefail

log() {
  echo "[CI][$(date '+%Y-%m-%d %H:%M:%S')] $*"
}