Skip to content

CI should check if new docs need to be generated #2427

Closed
Closed
CI should check if new docs need to be generated#2427
Labels
area:ciCI/CD, GitHub Actions, build toolingbugSomething isn't workingpriority:lowMinor issues, test failures, tooling, cosmetic

Description

@mbutrovich
mbutrovich
opened on Sep 20, 2025

Describe the bug

#2422 Changed a config default, which in turn generates new docs with make. However this PR did not include the docs change, so if you run make on main branch you get new docs. See #2428.

Steps to reproduce

No response

Expected behavior

No response

Additional context

No response

Activity

  1. mbutrovich
    added
    bugSomething isn't working
    on Sep 20, 2025
  2. mbutrovich
    added a commit that references this issue on Sep 20, 2025

    Add CI check for outdated documentation

    d51a37a
  3. andygrove
    added
    priority:lowMinor issues, test failures, tooling, cosmetic
    area:ciCI/CD, GitHub Actions, build tooling
    on Mar 27, 2026

  4. andygrove commented on Jun 30, 2026

    @andygrove
    andygrove
    on Jun 30, 2026
    Member

    This is no longer relevant

  5. andygrove
    closed this as completedon Jun 30, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    area:ciCI/CD, GitHub Actions, build toolingbugSomething isn't workingpriority:lowMinor issues, test failures, tooling, cosmetic

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions