Skip to content

DPL Analysis: fix corner case in index builder algorithm #22982

DPL Analysis: fix corner case in index builder algorithm

DPL Analysis: fix corner case in index builder algorithm #22982

Triggered via pull request February 13, 2025 11:34
@aalkinaalkin
opened #13961
Status Success
Total duration 37s
Artifacts

code-formatting.yml

on: pull_request_target
PR formatting  /  clang-format
24s
PR formatting / clang-format
PR formatting  /  copyright headers
15s
PR formatting / copyright headers
PR formatting  /  line endings
26s
PR formatting / line endings
PR formatting  /  whitespace
13s
PR formatting / whitespace
PR formatting  /  pragma-once
5s
PR formatting / pragma-once
Fit to window
Zoom out
Zoom in