Skip to content
Formatting

DPL: drop unneeded headers. #24250

Sign in to view logs

DPL: drop unneeded headers.

DPL: drop unneeded headers. #24250

Triggered via pull request July 15, 2025 13:19
@ktfktf
opened #14513
Status Success
Total duration 37s
Artifacts –

code-formatting.yml

on: pull_request_target
PR formatting  /  clang-format
27s
PR formatting / clang-format
PR formatting  /  copyright headers
18s
PR formatting / copyright headers
PR formatting  /  line endings
27s
PR formatting / line endings
PR formatting  /  whitespace
13s
PR formatting / whitespace
PR formatting  /  pragma-once
7s
PR formatting / pragma-once
Fit to window
Zoom out
Zoom in