Skip to content
.github/workflows/ci.yml

Use "builtin" instead of "assumed" in the definition names in Charon-ML #1654

Sign in to view logs

Use "builtin" instead of "assumed" in the definition names in Charon-ML

Use "builtin" instead of "assumed" in the definition names in Charon-ML #1654

Annotations

1 error

The logs for this run have expired and are no longer available.