Enable docs deployment from feat/smt branch

Author: DebarghaG

.github/workflows/docs.yml

@@ -32,7 +32,7 @@ jobs:
         run: mkdocs build
 
       - name: Deploy to GitHub Pages
-        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+        if: github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref == 'refs/heads/feat/smt')
         uses: peaceiris/actions-gh-pages@v4
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}