Back to pull request #368

Add some tests for structures with borrows and improve the code generation #1562

Sign in to view logs

Triggered via pull request November 27, 2024 15:59

sonmarcho

synchronize #368

son/adt

Status Success

Total duration 1m 16s

Artifacts –

ci.yml

on: pull_request

check_if_skip_duplicate_job

charon-pin-is-forward

charon-pin-is-merged