Skip to content

develop: update dev-guide-gui-mysql-workbench.md (#16126) #25940

develop: update dev-guide-gui-mysql-workbench.md (#16126)

develop: update dev-guide-gui-mysql-workbench.md (#16126) #25940

Triggered via pull request January 24, 2024 13:04
Status Success
Total duration 2m 29s
Artifacts

ci.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
vale
Unexpected input(s) 'onlyAnnotateModifiedLines', valid inputs are ['entryPoint', 'args', 'version', 'files', 'debug', 'reporter', 'fail_on_error', 'level', 'filter_mode', 'vale_flags']