Skip to content

Merge pull request #5942 from bangerth/manager-rename #31

Merge pull request #5942 from bangerth/manager-rename

Merge pull request #5942 from bangerth/manager-rename #31

Triggered via push June 25, 2024 20:47
Status Cancelled
Total duration 1s
Artifacts

clang.yml

on: push
Matrix: tidy
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
clang
Canceling since a higher priority waiting request for 'gassmoeller-refs/heads/main' exists