Skip to content
Build

Update Submodule.lean with localized_span #66

Sign in to view logs

Update Submodule.lean with localized_span

Update Submodule.lean with localized_span #66

Triggered via push October 22, 2024 10:18
@syur2syur2
pushed 683ec3e
master
Status Success
Total duration 1m 59s
Artifacts –

build.yaml

on: push
build
1m 48s
build
Fit to window
Zoom out
Zoom in