feat(ci): add GitHub Actions workflow for Modal docs MCP server deplo…

[r33drichards]

Summary

• Add GitHub Actions workflow to automatically deploy the CUA documentation MCP server to Modal
• Workflow triggers on push to main when docs/scripts/modal_app.py or the workflow file changes
• Supports manual deployment via workflow_dispatch with optional initial crawl

Setting Up Modal Authentication

To enable automated deployments, configure Modal authentication in your GitHub repository secrets:

Step 1: Create Modal API Tokens

1. Log in to Modal
2. Go to Settings → API Tokens (or visit https://modal.com/settings/tokens)
3. Click Create new token
4. Give it a descriptive name (e.g., github-actions-deploy)
5. Copy the Token ID and Token Secret - you will only see these once!

Step 2: Add GitHub Repository Secrets

1. Go to your repository on GitHub

2. Navigate to Settings → Secrets and variables → Actions

3. Click New repository secret and add:

   • Name: MODAL_TOKEN_ID
   • Value: Your Modal Token ID

4. Click New repository secret again and add:

   • Name: MODAL_TOKEN_SECRET
   • Value: Your Modal Token Secret

Step 3: Test the Deployment

1. Go to the Actions tab in your repository
2. Select the Deploy Modal Docs MCP Server workflow
3. Click Run workflow
4. Optionally check "Run initial crawl and database generation before deploy" for first-time setup
5. Click the green Run workflow button

Workflow Features

Feature	Description
Auto-deploy	Deploys on push to main when modal_app.py changes
Manual trigger	Run anytime via workflow_dispatch
Initial crawl	Optional flag to run full crawl + DB generation
Daily crawl	Modal schedules automatic crawl at 6 AM UTC

After Deployment

The MCP server will be available at:

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Review	Updated (UTC)
docs	Ready	Preview, Comment	Jan 10, 2026 7:58pm

[Copilot]

Pull request overview

This PR adds a GitHub Actions workflow to automate the deployment of a Modal-based documentation MCP server for CUA documentation. The workflow provides both automated deployment on code changes and manual triggering with an optional initial crawl.

Changes:

• Add automated deployment workflow for Modal docs MCP server
• Configure workflow to trigger on changes to modal_app.py or the workflow itself
• Enable manual deployment with optional initial data crawling

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

Consider adding a concurrency control to prevent multiple simultaneous deployments to Modal, which could cause conflicts. This is especially important for deployments that modify shared state. Add a concurrency group similar to other workflows in this repository to ensure only one deployment runs at a time.

[r33drichards]

@copilot do that plz

[Copilot]

@r33drichards I've opened a new pull request, #741, to work on those changes. Once the pull request is ready, I'll request review from you.