Repository navigation

ci: optimize pull request coverage cost - #28

Merged

alientechsw merged 3 commits into

mainfrom

ci/cicd-optimization-2

Nov 1, 2026

Merged

ci: optimize pull request coverage cost#28
alientechsw merged 3 commits into
mainfrom
ci/cicd-optimization-2

Commits on Nov 1, 2026
- ci: move coverage off pull requests
  alientechsw
  committed
  f9f416c
- docs(devx): document CI resource policy
  alientechsw
  committed
  46e2025
- ci: keep coverage visible on pull requests
  alientechsw
  committed
  db89811