Skip to content

Rename "Extra" to "Custom" for dimension set (#603) #1405

Rename "Extra" to "Custom" for dimension set (#603)

Rename "Extra" to "Custom" for dimension set (#603) #1405

Triggered via push August 25, 2023 13:17
Status Success
Total duration 4m 50s
Artifacts

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in