Skip to content

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

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

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

Triggered via pull request October 5, 2024 16:50
Status Success
Total duration 5m 20s
Artifacts

ci.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in