Add alternative element-local mapping (to be merged before #31) #172

Sign in to view logs

Triggered via pull request October 5, 2024 17:09

synchronize #34

tm/element_local_mapping

Status Success

Total duration 4m 54s

Artifacts –

ci.yml

on: pull_request

Matrix: test