update workflows

Author: dsyme

README.md

@@ -47,7 +47,7 @@ Investigate faults proactively and improve CI.
 
 ### Documentation Workflows
 
-- [📖 Documentation Update on Push to Main](docs/update-docs.md) - Update documentation automatically
+- [📖 Documentation Update on Push to Main](docs/update-docs.md) - Update documentation automatically on every push to main
 - [📖 Daily Documentation Updater](docs/doc-updater.md) - Automatically update documentation based on recent code changes and merged PRs
 - [📝 Agentic Wiki Writer](docs/agentic-wiki-writer.md) - Automatically generate and maintain GitHub wiki pages from source code
 - [🔧 Agentic Wiki Coder](docs/agentic-wiki-coder.md) - Implement code changes described in GitHub wiki edits

workflows/ai-moderator.md

@@ -19,9 +19,9 @@ rate-limit:
   max: 5
   window: 60
 
-# This workflow runs often, so we use a small model to keep costs down.
-engine:
-  model: small
+# # This workflow runs often, so you can use a small model to keep costs down.
+# engine:
+#   model: small
 
 concurrency:
   group: "gh-aw-ai-moderator-${{ github.event.issue.number || github.event.pull_request.number }}"

workflows/contribution-guidelines-checker.md

@@ -14,9 +14,9 @@ permissions: read-all
 
 network: defaults
 
-# This workflow runs often, so we use a small model to keep costs down.
-engine:
-  model: small
+# # This workflow runs often, so you can use a small model to keep costs down.
+# engine:
+#   model: small
 
 safe-outputs:
   add-labels:

workflows/issue-triage.md

@@ -15,9 +15,9 @@ permissions: read-all
 
 network: defaults
 
-# This workflow runs often, so we use a small model to keep costs down.
-engine:
-  model: small
+# # This workflow runs often, so you can use a small model to keep costs down.
+# engine:
+#   model: small
 
 safe-outputs:
   add-labels:

workflows/lean-squad.md

@@ -1004,11 +1004,6 @@ on:
   pull_request:
     paths:
       - 'formal-verification/lean/**'
-  push:
-    branches:
-      - main
-    paths:
-      - 'formal-verification/lean/**'
   workflow_dispatch:
 
 jobs:

workflows/update-docs.md

@@ -11,6 +11,10 @@ on:
     branches: [main]
   workflow_dispatch:
 
+# # This workflow runs often, so you can use a small model to keep costs down.
+# engine:
+#   model: small
+
 permissions: read-all
 
 network: defaults