Skip to content

Start handling functions which consume ADTs with mutable borrows #1529

Start handling functions which consume ADTs with mutable borrows

Start handling functions which consume ADTs with mutable borrows #1529

Triggered via push November 21, 2024 22:50
Status Failure
Total duration 13m 51s
Artifacts

ci.yml

on: push
check_if_skip_duplicate_job
5s
check_if_skip_duplicate_job
charon-pin-is-forward
8s
charon-pin-is-forward
charon-pin-is-merged
7s
charon-pin-is-merged
userdocs
5s
userdocs
Fit to window
Zoom out
Zoom in

Annotations

1 error
nix
Process completed with exit code 1.