Update ci.yml

Author: radumcostache

.github/workflows/ci.yml

@@ -41,7 +41,7 @@ jobs:
         run: |
           eval $(opam env)
           mkdir -p doc
-          coqdoc -utf8 -html -toc --index -d doc -R src VLSM_SC src/*.v
+          coqdoc -utf8 -html -d doc -R src VLSM_SC src/*.v
 
       - name: Upload documentation artifact
         uses: actions/upload-artifact@v4
@@ -51,7 +51,7 @@ jobs:
 
   deploy:
     needs: build
-    if: github.ref == 'refs/heads/main'
+    if: github.ref == 'refs/heads/ci-docs'
     runs-on: ubuntu-latest
     permissions:
       contents: write