Skip to content
Lint

Merge branch 'main' into really-deprecate-37 #2619

Sign in to view logs

Merge branch 'main' into really-deprecate-37

Merge branch 'main' into really-deprecate-37 #2619

Triggered via push October 2, 2024 15:54
@graebmgraebm
pushed 0467336
really-deprecate-37
Status Success
Total duration 20s
Artifacts –

lint.yml

on: push
clang-format
4s
clang-format
autopep8
10s
autopep8
Fit to window
Zoom out
Zoom in