E272 ci: fix nightly lock-suite helper discovery on v3 by adityamukho · Pull Request #890 · project-minigraf/minigraf · GitHub
[go: up one dir, main page]

Skip to content

ci: fix nightly lock-suite helper discovery on v3 - #890

Open
adityamukho wants to merge 1 commit into
v3from
fix/887-docker-lock-helper-v3
Open

adityamukho wants to merge 1 commit into
v3from
fix/887-docker-lock-helper-v3

Conversation

@adityamukho
@adityamukho adityamukho commented Nov 13, 2026 •
Copy link
Copy Markdown
Collaborator

The nightly Docker and NFS lock suites build pid_ns_helper successfully but look for it in the wrong directory when test executables run under target/debug/build/.../out.

Set an explicit workflow-wide CARGO_TARGET_DIR and MINIGRAF_PID_NS_HELPER so both jobs find the built helper independently of the test executable layout. This follows the existing coverage workflow's helper override.

Validation:

  • Reproduced the Docker helper lookup failure from the reported nested layout; it passes using the exact workflow environment.
  • Both existing NFS helper tests pass from the same relocated layout.
  • Workflow YAML parses, both branch patches are identical, and git diff --check passes.
  • Claude reviewed the published file contents: no actionable findings.

Full Docker and mounted-NFS execution requires CI infrastructure and was not run locally.

Refs #887 and #888. Companion to #889 (main); this PR applies the identical workflow change to v3.

Current CI blockers outside this workflow change:

  • Clippy: clippy::needless_bool in unchanged src/query/datalog/optimizer.rs:26 under Rust 1.100.0.
  • Binary size: 1,242 KiB versus the existing 1,240 KiB limit.

This PR changes only nfs-lock.yml; the source, Cargo configuration, and these two workflows are unchanged.

@codecov
codecov Bot commented Nov 13, 2026
Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

This branch has not been deployed

No deployments
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

0