Add support for symbolic values containing mutable borrows #1655
Triggered via pull request
December 17, 2024 23:53
sonmarcho
Status
Failure
Total duration
14m 25s
Artifacts
–
ci.yml
on: pull_request
diff_lean_files
2s
nix
3m 1s
charon-pin-is-forward
10s
charon-pin-is-merged
6s
userdocs
4s
lean
13m 16s
Annotations
1 error
|
nix
Process completed with exit code 1.
|