Change name of dev documentation

Author: kieranr51

.github/workflows/dev_docs.yaml

@@ -28,4 +28,4 @@ jobs:
           restore-keys: |
             mkdocs-material-
       - run: pip install mkdocs-material mike
-      - run: mike deploy --push develop
+      - run: mike deploy --push Dev