Skip to content

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

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

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

Triggered via pull request September 14, 2024 09:03
Status Success
Total duration 1m 4s
Artifacts

FormatCheck.yml

on: pull_request
Matrix: check-format
Fit to window
Zoom out
Zoom in