ci: optimize workflow fetches and mirrors #87

Merged
jesse merged 1 commit from ci/optimize-workflow-fetches into main 2026-06-04 16:32:44 +02:00
Owner

Summary

  • use filtered or shallow fetches in workflow checkout steps
  • route cargo-binstall downloads through the configured mirror
  • add workflow concurrency and dashboard node_modules caching

Verification

  • git diff --check origin/main...HEAD
## Summary - use filtered or shallow fetches in workflow checkout steps - route cargo-binstall downloads through the configured mirror - add workflow concurrency and dashboard node_modules caching ## Verification - git diff --check origin/main...HEAD
ci: optimize workflow fetches and mirrors
Some checks failed
CI / Detect Changes (pull_request) Successful in 11s
CI / Integration Tests (pull_request) Has been skipped
CI / Benchmarks (pull_request) Has been skipped
CI / Security Scan (pull_request) Successful in 22s
CI / Check file lengths (pull_request) Successful in 50s
CI / Format (pull_request) Successful in 33s
CI / Deny (pull_request) Failing after 15s
CI / Audit (CVEs) (pull_request) Failing after 18s
CI / Dashboard Browser (pull_request) Successful in 2m45s
CI / Documentation (pull_request) Successful in 2m52s
CI / Conventional Validation (pull_request) Successful in 4m12s
CI / Check (linux-aarch64 compile-validation) (pull_request) Successful in 4m26s
CI / Clippy (pull_request) Successful in 4m46s
CI / Clean Build Sample 1 (pull_request) Has been skipped
CI / Clean Build Sample 2 (pull_request) Has been skipped
CI / Clean Build Sample 3 (pull_request) Has been skipped
CI / Clean Build Summary (pull_request) Has been skipped
CI / Test (pull_request) Successful in 13m48s
CI / Dashboard UI Build (pull_request) Successful in 17m53s
CI / Coverage (80% gate) (pull_request) Successful in 19m22s
CI / D-02 Clean Build Gate (pull_request) Failing after 17m44s
CI / RSS gate (P-15) (pull_request) Successful in 13m47s
CI / Build (release) (pull_request) Successful in 17m8s
CI / PR Size Check (pull_request) Successful in 15s
CI / CI Report (pull_request) Successful in 5s
622a8c1458
jesse merged commit 9976aef8a1 into main 2026-06-04 16:32:44 +02:00
jesse deleted branch ci/optimize-workflow-fetches 2026-06-04 16:32:44 +02:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
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
jesse/cognix!87
No description provided.