Skip to content

Merge pull request #6753 from bangerth/serialize-manager-objects #681

Merge pull request #6753 from bangerth/serialize-manager-objects

Merge pull request #6753 from bangerth/serialize-manager-objects #681

Triggered via push November 10, 2025 13:40
Status Cancelled
Total duration 3m 37s
Artifacts

clang.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

3 errors
tidy
Canceling since a higher priority waiting request for clang-refs/heads/main exists
tidy
The operation was canceled.
clang
Canceling since a higher priority waiting request for clang-refs/heads/main exists