Use "builtin" instead of "assumed" in the definition names in Charon-ML #1654
sonmarchoci.yml
on: pull_request
Annotations
2 errors
|
check-version-number
Process completed with exit code 1.
|
|
nix
Process completed with exit code 1.
|