From ead8a7b5bfd88ad4e3145cc0657fad7face1e551 Mon Sep 17 00:00:00 2001
From: Fischer Moseley <42497969+fischermoseley@users.noreply.github.com>
Date: Sun, 6 Oct 2024 11:42:57 -0600
Subject: [PATCH] docs: push to dev instead of latest from main

---
 .github/workflows/build_docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml
index a88add9..5c21cd9 100644
--- a/.github/workflows/build_docs.yml
+++ b/.github/workflows/build_docs.yml
@@ -18,4 +18,4 @@ jobs:
           key: ${{ github.ref }}
           path: .cache
       - run: pip install mkdocs-material mike
-      - run: mike deploy --push latest
+      - run: mike deploy --push dev