Skip to content

feat: add documentation check workflow for pull requests - #20907

Merged
DevelopmentCats merged 12 commits into
mainfrom
cat/docs-check-action
Nov 24, 2025
Merged

DevelopmentCats merged 12 commits into
mainfrom
cat/docs-check-action

Conversation

@DevelopmentCats

@DevelopmentCats DevelopmentCats commented Nov 24, 2025 •

Copy link
Copy Markdown
Contributor

This pull request adds a new GitHub Actions workflow to automate documentation checks for pull requests. The workflow uses an AI-powered Coder Task to analyze PR changes, search relevant documentation, and comment with recommendations on whether documentation updates are needed.

New AI Documentation Check Workflow:

  • Introduces .github/workflows/doc-check.yaml to automate documentation review for PRs, triggered by the doc-check label or manual dispatch.

Workflow Features:

  • Determines PR context and extracts changed files to build a detailed prompt for the AI agent, including steps for analyzing changes and searching documentation.
  • Integrates with the coder/create-task-action to create a Coder Task that reviews the PR and posts documentation recommendations as a comment.
  • Outputs a summary of the documentation check task, including links and status, for visibility in the workflow run.

@DevelopmentCats DevelopmentCats added the doc-check Assign this label to PRs to check for any doc changes. label Nov 24, 2025
@DevelopmentCats DevelopmentCats added doc-check Assign this label to PRs to check for any doc changes. and removed doc-check Assign this label to PRs to check for any doc changes. labels Nov 24, 2025
@DevelopmentCats DevelopmentCats added doc-check Assign this label to PRs to check for any doc changes. and removed doc-check Assign this label to PRs to check for any doc changes. labels Nov 24, 2025
@coder coder deleted a comment from github-actions Bot Nov 24, 2025
@DevelopmentCats DevelopmentCats added doc-check Assign this label to PRs to check for any doc changes. and removed doc-check Assign this label to PRs to check for any doc changes. labels Nov 24, 2025
@github-actions

github-actions Bot commented Nov 24, 2025 •

Copy link
Copy Markdown
Contributor

Copy link
Copy Markdown
Contributor Author

📚 Documentation Check

✨ No Changes Needed

Reason: Internal CI/CD workflow - No user-facing impact

This PR adds a GitHub Actions workflow (doc-check.yaml) that is purely for internal development automation. This workflow:

  • Triggers when a doc-check label is added to PRs or via manual workflow dispatch
  • Creates a Coder task to analyze PRs for documentation needs
  • Posts recommendations as PR comments

Since this is an internal development tool that doesn't affect Coder users, end-users, admins, or the public API/CLI, no documentation updates are needed. The workflow is self-contained in .github/workflows/ and is only used by Coder maintainers during the development process.

@DevelopmentCats DevelopmentCats added doc-check Assign this label to PRs to check for any doc changes. and removed doc-check Assign this label to PRs to check for any doc changes. labels Nov 24, 2025

Copy link
Copy Markdown
Contributor Author

📚 Documentation Check

✨ No Changes Needed

Reason: Internal CI/CD tooling only - no user-facing impact

This PR adds an internal GitHub Actions workflow (doc-check.yaml) that automates documentation review for pull requests. This is internal development infrastructure that:

  • Triggers on the doc-check label or manual workflow dispatch
  • Uses Coder's internal task creation system to analyze PRs
  • Comments on PRs with documentation recommendations

Why no docs needed:

  1. Internal automation only - This workflow is for Coder maintainers, not users
  2. No user-facing features - Users don't interact with this workflow
  3. No API/CLI changes - No changes to Coder's product surface area
  4. Development tooling - Similar to other CI workflows in .github/workflows/ that aren't documented in user docs

The existing documentation about GitHub Actions in README.md (Setup Coder action, Template action) remains accurate and complete. This new workflow is purely for internal development process improvement.


I'm a Bot

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR introduces a new GitHub Actions workflow for automated documentation checks on pull requests. The workflow triggers when the doc-check label is added to a PR or via manual dispatch, and uses a Coder task to analyze PR changes and provide documentation recommendations.

Key changes:

  • Adds a new workflow that integrates with create-task-action to analyze PRs for documentation needs
  • Implements dual trigger modes: label-based (on PR labeled) and manual (workflow_dispatch)
  • Uses bash scripting to extract PR context and build prompts for AI-based documentation analysis

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

Comment thread .github/workflows/doc-check.yaml Resolved
Comment thread .github/workflows/doc-check.yaml Resolved
@DevelopmentCats DevelopmentCats added doc-check Assign this label to PRs to check for any doc changes. and removed doc-check Assign this label to PRs to check for any doc changes. labels Nov 24, 2025

Copy link
Copy Markdown
Contributor Author

📚 Documentation Check

✨ No Changes Needed

This PR adds a GitHub Actions workflow (doc-check.yaml) for internal CI/CD automation to help contributors identify when documentation updates are needed. This is an internal development tool and does not require user-facing documentation because:

  1. Internal Process: The workflow is part of the Coder team's development and CI/CD infrastructure
  2. Not User-Facing: External users and contributors won't directly interact with or need to understand this automated check
  3. Self-Documenting: The workflow includes clear inline comments and prompts that explain its purpose and usage
  4. Optional Label: Contributors can choose to use the doc-check label to trigger this automation, but it's not a feature they need to learn or configure

The workflow enhances the existing contribution process without changing any user-visible functionality or requiring external contributors to understand its implementation details.


This comment was generated by an AI Agent through Coder Tasks

Copy link
Copy Markdown
Contributor Author

📚 Documentation Check

✨ No Changes Needed

Reason: Internal changes only - No user-facing impact

This PR adds a GitHub Actions workflow (.github/workflows/doc-check.yaml) that is purely an internal CI/CD automation tool. The workflow:

  • Triggers on the doc-check label or manual dispatch
  • Creates Coder tasks to analyze PRs for documentation needs
  • Posts comments back to PRs with documentation recommendations

This is an internal development workflow that:

  1. Not user-facing: Contributors don't need to understand or interact with this workflow directly
  2. Self-documenting: The workflow itself contains clear inline comments and structured steps
  3. Internal automation: Part of the repository's CI/CD infrastructure, similar to other workflows in .github/workflows/

The existing contributing documentation in docs/about/contributing/CONTRIBUTING.md already covers the general development workflow and PR process. Internal GitHub Actions workflows are typically not documented in user-facing or contributor documentation unless they require specific contributor interaction (like the pr-deploy.yaml workflow which is mentioned because it creates preview deployments).


This comment was generated by an AI Agent through Coder Tasks

@DevelopmentCats DevelopmentCats added doc-check Assign this label to PRs to check for any doc changes. and removed doc-check Assign this label to PRs to check for any doc changes. labels Nov 24, 2025

Copy link
Copy Markdown
Contributor Author

📚 Documentation Check

✨ No Changes Needed

Reason: Internal automation workflow - no user-facing impact

Analysis:
This PR adds a new GitHub Actions workflow (.github/workflows/doc-check.yaml) that automates documentation review for pull requests. This is an internal development tool that:

  1. Triggers on the doc-check label or manual workflow dispatch
  2. Creates a Coder Task to analyze PRs for documentation needs
  3. Posts automated comments with documentation recommendations

This workflow is not user-facing and does not require documentation because:

  • It's an internal CI/CD automation for maintainers
  • Users don't interact with or need to know about this workflow
  • It's similar to other internal workflows in .github/workflows/ that are not documented
  • The workflow itself analyzes and documents other changes

If this workflow were to be made available for external contributors or required special setup, documentation could be added to docs/about/contributing/CONTRIBUTING.md under a CI/CD or automation section, but that's not necessary for internal-only automation.


This comment was generated by an AI Agent through Coder Tasks

Copy link
Copy Markdown
Contributor Author

📚 Documentation Check

✨ No Changes Needed

This PR adds a new GitHub Actions workflow (.github/workflows/doc-check.yaml) that automates documentation review for pull requests. This is an internal development tool with no user-facing impact.

Reasoning:

  • Internal CI/CD workflow - Not a user-facing feature that requires documentation
  • Development automation - Used by maintainers to trigger automated documentation checks via the doc-check label
  • No API/CLI changes - Does not modify any public interfaces, commands, or user behaviors
  • Infrastructure-only - Similar to other CI workflows in .github/workflows/ which are not documented in user-facing docs

The workflow integrates with Coder Tasks to analyze PRs and suggest documentation updates, but this is a contributor/maintainer workflow, not something end users need to know about or interact with.


This comment was generated by an AI Agent through Coder Tasks

Comment thread .github/workflows/doc-check.yaml Resolved
Comment thread .github/workflows/doc-check.yaml Resolved
Comment thread .github/workflows/doc-check.yaml Resolved
@DevelopmentCats
DevelopmentCats merged commit f08cb2f into main Nov 24, 2025
23 checks passed
@DevelopmentCats
DevelopmentCats deleted the cat/docs-check-action branch November 24, 2025 23:05
@github-actions github-actions Bot locked and limited conversation to collaborators Nov 24, 2025
@matifali

Copy link
Copy Markdown
Member

I think we should keep updating the single comment instead of making a new comment on each new commit

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

doc-check Assign this label to PRs to check for any doc changes.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants