update tools options definition GML files #4587

Sign in to view logs

Triggered via push January 24, 2024 12:43

jmalak

master

Status Success

Total duration 19m 32s

Artifacts –

wikidocs.yml

on: push

Check if to run

Matrix: Wiki build

Call to delete Artifacts