Skip to content

Merge develop: Clippy gate and promotion CI optimization#7

Merged
rmorse merged 2 commits into
mainfrom
develop
Jun 13, 2026
Merged

Merge develop: Clippy gate and promotion CI optimization#7
rmorse merged 2 commits into
mainfrom
develop

Conversation

@rmorse

@rmorse rmorse commented Jun 13, 2026

Copy link
Copy Markdown
Member

Summary

  • Adds Clippy checks to macOS CI for workspace, async, and Metal targets.
  • Cleans up the existing warning baseline across tests, examples, benches, and helpers.
  • Documents the Clippy gate in the contribution and publishing docs.
  • Skips the heavy macOS test job for direct develop -> main promotion PRs, relying on the already-green develop push run while still running full CI on pushes to develop and main.

Verification

Merge strategy: normal merge commit into main, preserving the develop integration point.

rmorse added 2 commits June 13, 2026 15:45
Add conservative Clippy -D warnings gates to CI and clean the current warning baseline across tests, examples, benches, xtask, and the sys build script.
@rmorse rmorse changed the title Merge develop: Clippy CI gate Merge develop: Clippy gate and promotion CI optimization Jun 13, 2026
@rmorse rmorse merged commit bc96af6 into main Jun 13, 2026
3 of 4 checks passed
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