wrong name Oops

Author: taydeo

.github/workflows/deploy.yml

@@ -33,7 +33,7 @@ jobs:
         with:
           tool: mdbook@0.4.47,mdbook-admonish@1.19.0,mdbook-alerts@0.7.0,mdbook-emojicodes@0.3.0
       - name: Update SUMMARY.md with proposals
-        run: python3 tools/update_summary.py
+        run: python3 tools/auto-update-design-proposals.py
       - name: Setup Pages
         id: pages
         uses: actions/configure-pages@v3