version deletion ci (#800)

Signed-off-by: Srinivasan Parthasarathy <[email protected]>

Author: sriumcp

.github/workflows/mikedelete.yaml

@@ -32,4 +32,4 @@ jobs:
         cd mkdocs
         pip install --upgrade pip
         pip install -r requirements.txt
-        mike delete ${{ github.event.inputs.version }}
+        mike delete ${{ github.event.inputs.version }} -p