Skip to content
lint

add option to set plugin install directory independently from search … #2066

Sign in to view logs

add option to set plugin install directory independently from search …

add option to set plugin install directory independently from search … #2066

Triggered via push September 12, 2024 22:13
@farindkfarindk
pushed 3a043d9
master
Status Success
Total duration 25s
Artifacts –

lint.yml

on: push
cpplint
17s
cpplint
licenses
3s
licenses
Fit to window
Zoom out
Zoom in