.github/workflows/ci.yml

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

Sign in to view logs

Triggered via pull request November 27, 2024 15:53

sonmarcho

synchronize #368

son/adt

Status Success

Total duration 1m 24s

Artifacts –

ci.yml

on: pull_request

check_if_skip_duplicate_job

charon-pin-is-forward

charon-pin-is-merged