Use "builtin" instead of "assumed" in the definition names in Charon-ML #1649
sonmarchoci.yml
on: pull_request
Annotations
1 error
|
nix
Process completed with exit code 1.
|