Skip to content

Fixing handling of edge clusters - Don't merge yet #23209

Fixing handling of edge clusters - Don't merge yet

Fixing handling of edge clusters - Don't merge yet #23209

Triggered via pull request March 12, 2025 18:29
@davidrohrdavidrohr
opened #14051
Status Success
Total duration 1m 15s
Artifacts

code-formatting.yml

on: pull_request_target
PR formatting  /  clang-format
25s
PR formatting / clang-format
PR formatting  /  copyright headers
13s
PR formatting / copyright headers
PR formatting  /  line endings
1m 10s
PR formatting / line endings
PR formatting  /  whitespace
14s
PR formatting / whitespace
PR formatting  /  pragma-once
7s
PR formatting / pragma-once
Fit to window
Zoom out
Zoom in