fix: adds --push to mike deploy (#1773)

Ensures changes are pushed to the gh-pages branch Signed-off-by: Jennifer Power <barnabei.jennifer@gmail.com>
oscal-compass · Dec 5, 2024 · c70c145 · c70c145
1 parent d55d48f
commit c70c145
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs-update.yml b/.github/workflows/docs-update.yml
@@ -84,7 +84,7 @@ jobs:
     - name: Create release
       shell: bash
       run: |
-        mike deploy ${{ needs.mike-version.outputs.mver }}
+        mike deploy --push ${{ needs.mike-version.outputs.mver }}
     - name: Ensure latest is latest
       shell: bash
       run: |