Skip to content

Add support for structures containing borrows #1546

Add support for structures containing borrows

Add support for structures containing borrows #1546

Triggered via pull request November 26, 2024 22:45
@sonmarchosonmarcho
synchronize #367
son/adt
Status Success
Total duration 4m 32s
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
34s
charon-pin-is-merged
userdocs
18s
userdocs
Fit to window
Zoom out
Zoom in