ci: update workflow to use dev branch instead of develop

authored-by: aneki (@joshuaboys)

Author: joshuaboys

.github/workflows/lint-docs.yml

@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - main
-      - develop
+      - dev
     paths:
       - '**.md'
       - '.markdownlint.json'