Skip to content

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

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

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

Triggered via pull request September 10, 2024 15:07
Status Success
Total duration 11m 48s
Artifacts

ci.yml

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