-
Achilleas Pipinellis authored
Add an extra clause to the lint-doc.sh script and check if the list of markdown files is empty when a merge results pipeline is run. If it is, skip the markdownlint check altogether.
bc5f31c8
Add an extra clause to the lint-doc.sh script and check if the list of markdown files is empty when a merge results pipeline is run. If it is, skip the markdownlint check altogether.