action stream_io_api_list_devices {
  label: "List devices"
  description: "Returns all available devices"
  provider: stream_io_api
  method: GET
  path: "/devices"
  encoding: json
  input: {
    type: "object"
    properties: {
      user_id: {
        type: "string"
      }
    }
    additionalProperties: false
  }
  output: {
    type: "object"
    required: ["devices", "duration"]
    properties: {
      devices: {
        type: "array"
        description: "List of devices"
        items: {
          type: "object"
          required: ["push_provider", "id", "created_at", "user_id"]
          properties: {
            created_at: {
              type: "string"
              format: "date-time"
              description: "Date/time of creation"
            }
            disabled: {
              type: "boolean"
              description: "Whether device is disabled or not"
            }
            disabled_reason: {
              type: "string"
              description: "Reason explaining why device had been disabled"
            }
            id: {
              type: "string"
            }
            push_provider: {
              type: "string"
            }
            push_provider_name: {
              type: "string"
            }
            user_id: {
              type: "string"
            }
          }
        }
      }
      duration: {
        type: "string"
      }
    }
  }
}