Skip to content

chore: refresh pixi lockfiles - #3003

Merged
rwgk merged 1 commit into
mainfrom
ci/pixi-lock-refresh/all
Oct 2, 2026
Merged

rwgk merged 1 commit into
mainfrom
ci/pixi-lock-refresh/all

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 2, 2026

Copy link
Copy Markdown
Contributor

Automated lockfile refresh for all workspaces using pixi v0.73.0 (pixi update --no-install, followed by byte-stable pixi lock --check canonicalization).

Lockfiles included in the refresh:

  • pixi.lock
  • benchmarks/cuda_bindings/pixi.lock
  • benchmarks/cuda_core/pixi.lock
  • cuda_bindings/pixi.lock
  • cuda_core/pixi.lock
  • cuda_pathfinder/pixi.lock

See #2298 and #2849.

Important

This PR was opened with GITHUB_TOKEN. A maintainer with write access must:

  1. Select Approve workflows to run in the merge box.
  2. Assign themselves to this PR. The human-generated assigned event
    creates the required PR has assignee, labels, and milestone check
    and gives the PR a clear owner.

If the diff looks wrong, close this PR and leave the branch deleted; the
next scheduled run opens a fresh one if an update is still needed.

Signed-off-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@github-actions github-actions Bot added CI/CD CI/CD infrastructure dependencies Pull requests that update a dependency file labels Oct 2, 2026
@copy-pr-bot

copy-pr-bot Bot commented Oct 2, 2026

Copy link
Copy Markdown
Contributor

This pull request requires additional validation before any workflows can run on NVIDIA's runners.

Pull request vetters can view their responsibilities here.

Contributors can view more details about this message here.

@rwgk rwgk self-assigned this Oct 2, 2026
@rwgk
rwgk enabled auto-merge (squash) October 2, 2026 18:08
@rwgk

rwgk commented Oct 2, 2026

Copy link
Copy Markdown
Contributor

/ok to test 7cd5e86

@github-actions

github-actions Bot commented Oct 2, 2026 •

Copy link
Copy Markdown
Contributor Author
Doc Preview CI
Preview removed because the pull request was closed or merged.

@rwgk
rwgk merged commit 136f0a1 into main Oct 2, 2026
36 checks passed
@rwgk
rwgk deleted the ci/pixi-lock-refresh/all branch October 2, 2026 18:56
github-actions Bot pushed a commit that referenced this pull request Oct 3, 2026
Removed preview folders for the following PRs:
- PR #2880
- PR #2917
- PR #2947
- PR #2965
- PR #2996
- PR #2998
- PR #3003
- PR #3005
- PR #3008
- PR #3010
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI/CD CI/CD infrastructure dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant