Skip to content
Formatting

DPL: drop unneeded headers. #24250

Sign in to view logs

DPL: drop unneeded headers.

DPL: drop unneeded headers. #24250

Run time

Learn about OS pricing on GitHub Actions
Job Run time
PR formatting / clang-format
27s
PR formatting / line endings
27s
PR formatting / copyright headers
18s
PR formatting / pragma-once
7s
PR formatting / whitespace
13s
1m 32s