{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "title": "ExecutionAbortedEventDetails",
  "example": {
    "error": null,
    "cause": null
  }
}