Skip to content

allow submodule for local type #725

allow submodule for local type

allow submodule for local type #725

Triggered via pull request December 3, 2024 14:21
@RexWzhRexWzh
synchronize #206
Lean-zh:main
Status Success
Total duration 25s
Artifacts

format_code.yaml

on: pull_request
format-code
13s
format-code
Fit to window
Zoom out
Zoom in

Annotations

1 warning
format-code
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636