Skip to content
indent

Update include/deal.II/base/lazy.h #955

Sign in to view logs

Update include/deal.II/base/lazy.h

Update include/deal.II/base/lazy.h #955

Triggered via push October 26, 2023 22:35
@tamikotamiko
pushed fe0ab9c
initializer_guard
Status Cancelled
Total duration 26s
Artifacts –

indent.yml

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

Annotations

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