Skip to content

Fixing handling of edge clusters - DON'T MERGE #23133

Fixing handling of edge clusters - DON'T MERGE

Fixing handling of edge clusters - DON'T MERGE #23133

Triggered via pull request March 6, 2025 10:18
@ChSonnabendChSonnabend
synchronize #14020
Status Success
Total duration 34s
Artifacts

code-formatting.yml

on: pull_request_target
PR formatting  /  clang-format
24s
PR formatting / clang-format
PR formatting  /  copyright headers
14s
PR formatting / copyright headers
PR formatting  /  line endings
23s
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