diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 417ba71cd..8ec1be439 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -178,4 +178,5 @@ jobs:
         echo "push_opt=--push" >> $GITHUB_ENV 
 
     - name: Build mkdocs
-      run: mike ${{ env.push_opt }} deploy devel
+      run: mike deploy ${{ env.push_opt }} devel
+