Skip to content

Merge pull request #5955 from bangerth/manager-rename #41

Merge pull request #5955 from bangerth/manager-rename

Merge pull request #5955 from bangerth/manager-rename #41

Triggered via push July 2, 2024 07:19
Status Failure
Total duration 1h 50m 39s
Artifacts

clang.yml

on: push
Matrix: tidy
Fit to window
Zoom out
Zoom in

Annotations

1 error