Skip to content

Merge branch 'develop' into fix-wrong-committee-seen #1483

Merge branch 'develop' into fix-wrong-committee-seen

Merge branch 'develop' into fix-wrong-committee-seen #1483

Triggered via push February 28, 2025 17:32
Status Success
Total duration 32s
Artifacts

clang-format.yml

on: push
clang-format-checking
20s
clang-format-checking
Fit to window
Zoom out
Zoom in