Skip to content
ci

Merge main into nightly-testing #10092

Sign in to view logs

Merge main into nightly-testing

Merge main into nightly-testing #10092

Triggered via push December 2, 2024 00:12
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed b216ed1
nightly-testing
Status Success
Total duration 40s
Artifacts –

build.yml

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