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