Skip to content

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

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 #6632

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

generate-docs.yml

on: pull_request
Build and Deploy Documentation
29m 0s
Build and Deploy Documentation
Fit to window
Zoom out
Zoom in