Skip to content

Merge develop: Clippy gate and promotion CI optimization - #7

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

rmorse merged 2 commits into
mainfrom
develop

Skip heavy CI for develop promotion PRs

afcd8a3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 warning

The logs for this run have expired and are no longer available.