dart-ci
GitHubDART CI/CD排错技能，用于调试GitHub Actions失败、处理缓存问题及平台特定错误（如FreeBSD RTTI、macOS ARM64崩溃），并规范CUDA Runner安全策略。
Trigger Scenarios
Install
npx skills add dartsim/dart --skill dart-ci -g -y
SKILL.md
Frontmatter
{
"name": "dart-ci",
"description": "DART CI: GitHub Actions, cache debugging, and platform-specific failures"
}
DART CI/CD Troubleshooting
Load this skill when debugging CI failures or working with GitHub Actions.
When the failing claim depends on 3D structure or behavior, also load
dart-verify-sim and reproduce it with a text oracle plus assessed visual
evidence, or record why that renderer is unavailable in the failing environment.
Full Documentation
For complete CI/CD guide: docs/onboarding/ci-cd.md
Common Failure Modes
| Failure Type | Solution |
|---|---|
| Formatting fails | pixi run lint; push only after approval |
| Codecov patch fails | Inspect coverage upload/reporting before adding tests |
| FreeBSD RTTI fails | Use type enums + static_cast instead of dynamic_cast |
| macOS ARM64 SEGFAULT | Replace alloca()/VLAs with std::vector<T> |
| RTD build fails | Use defensive .get(key, default) patterns |
| gz-physics fails | Reproduce with pixi run -e gazebo test-gz |
CUDA Runner Policy
The project has a trusted ubuntu-latest-gpu runner for same-repository CUDA
runtime validation, but it must never run untrusted fork-PR code. Consequences:
- Same-repository PRs, protected branch pushes, and manual dispatches use the
GPU runner and run
pixi run --locked -e cuda test-cuda. - Fork PRs use a GitHub-hosted fallback and compile CUDA targets without running GPU-only steps.
- Local CUDA validation is
pixi run -e cuda test-allon Linux hosts with a visible NVIDIA CUDA runtime; local Pixi config auto-detects visible GPU compute capabilities forDART_CUDA_ARCHITECTURES. pixi run check-phase5-cuda-workflowenforces the trusted-event GPU guard and fork-PR hosted fallback inci_cuda.yml.
Caching And Timing
Use the cache policy, current timing guidance, and investigation steps in
docs/onboarding/ci-cd.md. Treat observed job duration and cache diagnostics
from the affected run as the current evidence; do not copy mutable timing or
hit-rate estimates into this skill.
Version History
-
deb9869
Current 2026-09-08 21:46
新增Common Failure Modes表格以提供具体解决方案，移除Quick Commands代码块，强化CUDA Runner安全策略说明。
-
bcd584e
2026-09-02 23:41
更新常见故障模式：新增Codecov覆盖率失败、FreeBSD RTTI失败、macOS ARM64段错误、RTD构建失败及gz-physics失败的解决方案；调整模拟器验证触发条件描述。
-
b9fbefc
2026-07-19 11:30
新增视觉验证联动指引（dart-verify-sim）及 CUDA Runner 安全策略说明
- e0d13fd 2026-07-05 10:36
