Skip to content
linting

REV: Set depth as default vertical_domain (#807) #2237

Sign in to view logs

REV: Set depth as default vertical_domain (#807)

REV: Set depth as default vertical_domain (#807) #2237

Triggered via push September 25, 2024 13:42
@mferreramferrera
pushed a28f1b3
main
Status Success
Total duration 1m 3s
Artifacts –

linting.yml

on: push
linting
54s
linting
Fit to window
Zoom out
Zoom in