Skip to content
ci

Merge main into nightly-testing #7846

Sign in to view logs

Merge main into nightly-testing

Merge main into nightly-testing #7846

Triggered via push August 17, 2024 06:01
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed 75252e9
nightly-testing
Status Success
Total duration 1m 2s
Artifacts –

build.yml

on: push
Build
54s
Build
Fit to window
Zoom out
Zoom in