Skip to content

Remove duplicate call to find cmake build dir in scripts/gen_coverage.py #6514

Remove duplicate call to find cmake build dir in scripts/gen_coverage.py

Remove duplicate call to find cmake build dir in scripts/gen_coverage.py #6514

Triggered via pull request January 9, 2026 15:02
Status Success
Total duration 1m 12s
Artifacts

pre-commit.yml

on: pull_request
Fit to window
Zoom out
Zoom in