Skip to content

Conversation

Copy link

Copilot AI commented Oct 24, 2025

  • Analyze the issue: Docs workflow was added in the same commit as the code, so it didn't run
  • Fix path filters in Docs.yml workflow
    • Changed *.toml to **/*.toml to match .toml files in subdirectories
    • Added .github/workflows/Docs.yml to PR path filters
  • Verify the workflow will trigger on next push to main
  • Document the root cause
Original prompt

Trying to understand why the large merge into main did not trigger the generation of the docs with coverage


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

The Docs workflow was not triggering properly because:
1. The workflow file was added in the same commit as the code (GitHub doesn't run workflows on the commit that adds them)
2. The path filter "*.toml" only matched root-level .toml files, not subdirectory files like docs/Project.toml
3. PRs that modify the workflow file itself wouldn't trigger doc builds

Fixed by:
- Changing "*.toml" to "**/*.toml" to match .toml files in any directory
- Adding ".github/workflows/Docs.yml" to PR path filters

Co-authored-by: maltezfaria <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants