{
 "$schema": "https://json-schema.org/draft/2020-12/schema",
 "$id": "https://totktonada.online/tarantool/ci.schema.json",
 "title": "Tarantool CI: the board",
 "description": "The data of https://totktonada.online/tarantool/ci. A stub: the format is not settled and may change without notice; once it settles, a schema with a version in its URL takes the place of this one.",
 "type": "object",
 "required": [
  "$schema",
  "page",
  "crawled",
  "generated"
 ],
 "properties": {
  "$schema": {
   "description": "This schema.",
   "type": "string",
   "format": "uri"
  },
  "page": {
   "description": "The page this is the data of.",
   "type": "string",
   "format": "uri"
  },
  "crawled": {
   "description": "When the crawl the data comes from ended.",
   "type": [
    "string",
    "null"
   ],
   "format": "date-time"
  },
  "generated": {
   "description": "When the page was built.",
   "type": "string",
   "format": "date-time"
  }
 }
}