Skip to content

Add support for structures containing borrows #1536

Add support for structures containing borrows

Add support for structures containing borrows #1536

Triggered via pull request November 26, 2024 19:46
@sonmarchosonmarcho
synchronize #367
son/adt
Status Success
Total duration 8m 49s
Artifacts

ci.yml

on: pull_request
check_if_skip_duplicate_job
4s
check_if_skip_duplicate_job
charon-pin-is-forward
8s
charon-pin-is-forward
charon-pin-is-merged
6s
charon-pin-is-merged
userdocs
4s
userdocs
Fit to window
Zoom out
Zoom in