Add Markdown check/add language-specific triggers#746
Conversation
📝 WalkthroughWalkthroughAdds a new GitHub Actions workflow to run Markdown checks on PRs and updates Python and Rust workflows to detect changed files via dorny/paths-filter and conditionally run their checks only when relevant files changed. Changes
Sequence Diagram(s)sequenceDiagram
participant PR as Pull Request
participant GH as GitHub Actions
participant Filter as dorny/paths-filter
participant Runner as Job Runner
participant Flox as Flox
PR->>GH: push PR triggers workflows
GH->>Filter: run detect_changes (paths-filter)
Filter-->>GH: outputs (e.g., markdown=true / python=true / rust=true)
GH->>Runner: start code_checks job if corresponding output == "true"
Runner->>Runner: checkout repo & setup environment
Runner->>Flox: install/setup Flox
Runner->>Flox: run "mask development <lang> all" (e.g., markdown)
Flox-->>Runner: return results
Runner-->>GH: report job status
Estimated code review effort🎯 3 (Moderate) | ⏱️ ~20 minutes Possibly related PRs
🚥 Pre-merge checks | ✅ 3✅ Passed checks (3 passed)
✏️ Tip: You can configure your own custom pre-merge checks in the settings. ✨ Finishing touches🧪 Generate unit tests (beta)
Comment |
This stack of pull requests is managed by Graphite. Learn more about stacking. |
There was a problem hiding this comment.
Pull request overview
This PR adds language-specific path triggers to CI workflows to optimize build execution and introduces a new Markdown linting workflow.
Changes:
- Added path filters to Rust and Python workflow triggers to run only when relevant files change
- Created a new Markdown code checks workflow with appropriate file path triggers
Reviewed changes
Copilot reviewed 3 out of 3 changed files in this pull request and generated 2 comments.
| File | Description |
|---|---|
.github/workflows/run_rust_code_checks.yaml |
Added path filters for Rust source files and Cargo configuration files |
.github/workflows/run_python_code_checks.yaml |
Added path filters for Python source files and project configuration files |
.github/workflows/run_markdown_code_checks.yaml |
Created new workflow for Markdown linting with path triggers for .md and .markdown files |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Greptile OverviewGreptile SummaryThis PR adds change-detection gating to the existing Python and Rust CI workflows (via The overall approach fits the repo’s existing Confidence Score: 3/5
|
| Filename | Overview |
|---|---|
| .github/workflows/run_markdown_code_checks.yaml | Adds Markdown-only workflow using dorny/paths-filter to gate a Flox+mask markdown check job. |
| .github/workflows/run_python_code_checks.yaml | Adds paths-filter gating for Python checks; coverage upload remains, but job lacks explicit token permissions for Coveralls reporting. |
| .github/workflows/run_rust_code_checks.yaml | Adds paths-filter gating for Rust checks to avoid running when no Rust-related files changed. |
8c0d424 to
1fb422d
Compare
The base branch was changed.
Co-authored-by: greptile-apps[bot] <165735046+greptile-apps[bot]@users.noreply.github.com> Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
5c6f34d to
821e0ac
Compare
821e0ac to
c1aba8b
Compare
There was a problem hiding this comment.
Pull request overview
Copilot reviewed 3 out of 3 changed files in this pull request and generated 1 comment.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
There was a problem hiding this comment.
Actionable comments posted: 1
🤖 Fix all issues with AI agents
In @.github/workflows/run_rust_code_checks.yaml:
- Around line 14-15: Replace the floating tag for the GitHub Action usage of
dorny/paths-filter (the line containing "uses: dorny/paths-filter@v3" and the
step id "filter") with the pinned commit SHA; change the version specifier from
"@v3" to "@de90cc6fb38fc0963ad72b210f1f284cd68cea36" so the workflow uses the
exact release (v3.0.2) instead of a moving tag.
There was a problem hiding this comment.
Actionable comments posted: 2
🤖 Fix all issues with AI agents
In @.github/workflows/run_markdown_code_checks.yaml:
- Around line 15-16: Replace the floating tag for the third-party GitHub Action
to pin it to the provided commit SHA: change the usage string
"dorny/paths-filter@v3" (the step with id "filter") to
"dorny/paths-filter@de90cc6fb38fc0963ad72b210f1f284cd68cea36" so the workflow
uses the exact commit (v3.0.2) instead of the floating `@v3` tag.
In @.github/workflows/run_python_code_checks.yaml:
- Around line 15-16: The workflow currently references the third-party action
using a floating tag at the 'uses' line (dorny/paths-filter@v3 with id
'filter'); update that 'uses' entry to pin the action to the specific commit SHA
de90cc6fb38fc0963ad72b210f1f284cd68cea36 (v3.0.2) to remove supply-chain risk
and ensure reproducible runs.

Overview
Changes
Context
Markdown checks are already part of the pre-commit check so this is a good thing to add since we'll be working extensively in Markdown going forward.
Summary by CodeRabbit