.github/workflows/ci.yml

Clarify the use of `region_id_set` #1652

Sign in to view logs

Triggered via pull request December 12, 2024 13:57

sonmarcho

opened #397

son/regions

Status Success

Total duration 3m 22s

Artifacts –

ci.yml

on: pull_request

diff_lean_files

charon-pin-is-forward

charon-pin-is-merged