chore: group ci deps #118

Merged
davide merged 2 commits from davide-patch-1 into main 2026-06-12 11:01:00 +00:00
Owner
No description provided.
chore: group ci deps
Some checks failed
check-commitizen.yaml / Check the PR title (pull_request) Successful in 2s
check-prettier.yaml / Check files formatting (pull_request) Successful in 3s
check-yamllint.yaml / Lint yaml files (pull_request) Failing after 1s
cf408cd0b5
davide scheduled this pull request to auto merge when all checks succeed 2026-06-12 10:59:12 +00:00
Merge branch 'main' into davide-patch-1
All checks were successful
check-prettier.yaml / Check files formatting (pull_request) Successful in 3s
check-yamllint.yaml / Lint yaml files (pull_request) Successful in 3s
f1cdcaa039
davide merged commit 21469af0a7 into main 2026-06-12 11:01:00 +00:00
davide deleted branch davide-patch-1 2026-06-12 11:01:00 +00:00
davide referenced this pull request from a commit 2026-06-12 11:01:01 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
infra/ci-rust!118
No description provided.