Skip to content

Merge pull request #17010 from bangerth/todo-operator-concepts-2 #6605

Merge pull request #17010 from bangerth/todo-operator-concepts-2

Merge pull request #17010 from bangerth/todo-operator-concepts-2 #6605

Triggered via push May 15, 2024 16:36
Status Cancelled
Total duration 41s
Artifacts

tidy.yml

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

Annotations

1 error
tidy
Canceling since a higher priority waiting request for '${ {github.event_name }}-tidy-refs/heads/master' exists