Make `cheriot_use_of_builtin_sealing_key_type_no_compartment` a warning that defaults to `Error` level#182

xdoardo merged 1 commit intoCHERIoT-Platform:cheriotCHERIoT-Platform/llvm-project:cheriotfrom

xdoardo:cheriot-sealing-type-builtin-missing-compartment-warningxdoardo/llvm-project:cheriot-sealing-type-builtin-missing-compartment-warningCopy head branch name to clipboard