ops(CI): add benchmark CI job

[JayanAXHF]

No description provided.

[JayanAXHF]

• ops(CI): add benchmark CI job #86 👈 (View in Graphite)
• test(ui): add dummy test data generator #85
• test: add benchmarks for ui hotspots #84
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[greptile-apps]

Greptile Summary

This PR splits the existing rust.yml CI workflow into two separate workflows: a new build.yml handling build and Clippy linting, and a trimmed rust.yml focused on tests and benchmarks.

Key issues found:

• Both build.yml and rust.yml share the workflow name name: Rust, which will cause both to appear identically in the GitHub Actions UI and make it hard to distinguish them.
• The job inside rust.yml is still named build even though it no longer runs any build steps — it only runs tests and benchmarks.

Flowchart

%%{init: {'theme': 'neutral'}}%%
flowchart TD
    PR[Pull Request or Push to main]

    PR --> W1[build.yml]
    PR --> W2[rust.yml]

    subgraph BuildWorkflow["build.yml - job: build"]
        B1[checkout]
        B2[cargo build --verbose]
        B3[cargo clippy]
        B1 --> B2 --> B3
    end

    subgraph TestWorkflow["rust.yml - job: build (misleading name)"]
        T1[checkout]
        T2[cargo test --verbose]
        T3[cargo bench -F benches]
        T1 --> T2 --> T3
    end

    W1 --> BuildWorkflow
    W2 --> TestWorkflow

Loading

Comments Outside Diff (1)

1. .github/workflows/rust.yml, line 13 (link)

   The job is still named build, but the build and clippy steps have been moved to build.yml. This job now only runs tests and benchmarks. Renaming it avoids confusion when reading workflow run logs or status checks.

   _{Note: If this suggestion doesn't match your team's coding style, reply to this and let me know. I'll remember it for next time!}

_{Last reviewed commit: 48d3273}

[JayanAXHF]

Merge activity

• Mar 8, 6:04 AM UTC: A user started a stack merge that includes this pull request via Graphite.
• Mar 8, 6:07 AM UTC: Graphite rebased this pull request as part of a merge.
• Mar 8, 6:08 AM UTC: @JayanAXHF merged this pull request with Graphite.