Check PR title

docs: Move metrics and static analysis docs #808

Sign in to view logs

Summary
Jobs
- check_title
Run details
- Usage
- Workflow file

Triggered via pull request January 30, 2025 16:51

edited #1864

maria-robobug:1219-split-metric-and-stat-analysis-docs

Status Success

Total duration 8s

Artifacts –

check_pr_title.yml

on: pull_request