Skip to content

ci: rename the md change filter to markdown - #407

Merged
conjikidow merged 1 commit into
mainfrom
ci/rename-markdown-filter-key
Oct 10, 2026
Merged

conjikidow merged 1 commit into
mainfrom
ci/rename-markdown-filter-key

Conversation

@conjikidow

Copy link
Copy Markdown
Owner

Rename the md group of the changed-files filter, and the determine-changes job output that carries it, to markdown.
The other groups are named after their language or domain rather than a file extension (python, rust, typst, shell) and match the spelling of the jobs they gate, so md was the only abbreviated key next to lint-markdown.

Every other changed-files group is named after its language or domain,
not a file extension (python, rust, typst, shell), and matches the
spelling of the job it gates; md was the only abbreviation.
Copilot AI balanced review requested due to automatic review settings October 10, 2026 10:22
@conjikidow conjikidow self-assigned this Oct 10, 2026

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@github-actions github-actions Bot added the ci Changes to CI workflows label Oct 10, 2026
@conjikidow
conjikidow marked this pull request as ready for review October 10, 2026 10:24
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 10, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-10T10:26:11.775251Z 179d449 Draft marked ready
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@conjikidow
conjikidow merged commit eff567d into main Oct 10, 2026
17 checks passed
@conjikidow
conjikidow deleted the ci/rename-markdown-filter-key branch October 10, 2026 10:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Changes to CI workflows

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants