{
  "build": { "dockerfile": "Dockerfile" },
  "extensions": ["adacore.ada"]
}