Skip to content

ci: add optional CortexTrace Free execution review#269

Open
Maurice Witten (blocksifrdev) wants to merge 2 commits into
Project-Navi:mainfrom
blocksifrdev:ci/add-cortextrace-free
Open

ci: add optional CortexTrace Free execution review#269
Maurice Witten (blocksifrdev) wants to merge 2 commits into
Project-Navi:mainfrom
blocksifrdev:ci/add-cortextrace-free

Conversation

@blocksifrdev

Copy link
Copy Markdown

Summary

Checklist

  • cargo fmt --all --check passes
  • cargo clippy --all-targets --all-features -- -D warnings is clean
  • cargo test, cargo test --features experimental, and
    cargo test --no-default-features pass
  • If a SIMD kernel changed: the AVX-512 path is covered (CI runs the
    suite under Intel SDE; locally, run on an AVX-512 host or via SDE)
  • No new system/numerical dependency (no BLAS / faer / ndarray / statrs)
  • MSRV (1.89) still builds — CI enforces this
  • Compatibility impact classified under docs/compatibility-policy.md
    if this touches public Rust, Python, C ABI, Go, Manifest,
    persisted-format, examples/docs, feature, or MSRV surfaces
  • CHANGELOG.md updated under Unreleased if user-facing
  • cargo deny check passes (licenses / advisories / bans / sources)
  • If ordvec-python/ changed: cargo clippy -p ordvec-python --all-targets -- -D warnings, then maturin develop + pytest ordvec-python/tests pass

Notes

Signed-off-by: blocksifrdev <maurice@blocksifr.com>
@qodo-code-review

Copy link
Copy Markdown

Qodo reviews are paused for this user.

Troubleshooting steps vary by plan Learn more →

On a Teams plan?
Reviews resume once this user has a paid seat and their Git account is linked in Qodo.
Link Git account →

Using GitHub Enterprise Server, GitLab Self-Managed, or Bitbucket Data Center?
These require an Enterprise plan - Contact us
Contact us →

@chatgpt-codex-connector chatgpt-codex-connector Bot 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.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 4ed4459421

ℹ️ 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 (@codex) review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "Codex (@codex) address that feedback".

Comment thread .github/workflows/cortextrace-free.yml Outdated
- name: Run CortexTrace Free
run: |
mkdir -p .cortextrace/reports
npx -y @blocksifr/cortextrace@latest doctor || true

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

P1 Badge Don't execute a mutable npm package with checkout credentials

Because this job checks out the repo without persist-credentials: false, the checkout token remains available to later steps; I checked npx --help, which says it runs commands from a local or remote npm package, and @latest is a mutable remote version. On every push to main and PR run, a compromised or hijacked CortexTrace npm release can run arbitrary code and exfiltrate the repo token and source before the command is ignored by || true. Pin the CLI version/digest and disable persisted checkout credentials, or run the tool in a context without a token.

Useful? React with 👍 / 👎.

Comment thread .github/workflows/cortextrace-free.yml Outdated

steps:
- name: Checkout
uses: actions/checkout@v4

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

P2 Badge Pin the workflow actions to immutable SHAs

This new workflow uses moving tag refs for third-party actions, while the repo's existing workflows pin actions by SHA and .github/workflows/zizmor.yml audits .github/workflows/ specifically to catch unpinned actions. These @v4 refs can change underneath CI and should also cause the workflow-security audit to fail for PRs that include this file; pin checkout, setup-node, and upload-artifact to commit SHAs like the rest of the repository.

Useful? React with 👍 / 👎.

node-version: "20"

- name: Run CortexTrace Free
run: |

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

P2 Badge Pass the GitHub token to the CLI step

The CortexTrace commands run as plain shell commands, but this step never exposes secrets.GITHUB_TOKEN as an environment variable; the package docs advertise GITHUB_TOKEN for GitHub usage, and the workflow grants PR/actions read scopes that the process cannot use unless the token is passed. On PR or push runs where the tool needs GitHub PR/action metadata, doctor, run, and report can fail unauthenticated and still leave a green job because every command is followed by || true and missing artifacts are ignored.

Useful? React with 👍 / 👎.

with:
name: cortextrace-free-report
path: |
.cortextrace/reports/**

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

P2 Badge Include hidden report directories in the artifact

The reports configured in .cortextrace/config.json are written under .cortextrace/reports, but actions/upload-artifact v4.4+ ignores hidden files and files inside dot-prefixed folders by default unless include-hidden-files: true is set. In the normal report path, this upload step will silently omit the CortexTrace reports while if-no-files-found: ignore still leaves the workflow green, so reviewers will have no artifact to inspect.

Useful? React with 👍 / 👎.

Signed-off-by: blocksifrdev <maurice@blocksifr.com>
@blocksifrdev

blocksifrdev commented Jun 20, 2026 via email

Copy link
Copy Markdown
Author

@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits. You can see your limits in the Codex usage dashboard.

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.

1 participant