Skip to content
ci

Merge main into nightly-testing #9204

Sign in to view logs

Merge main into nightly-testing

Merge main into nightly-testing #9204

Triggered via push October 28, 2024 00:27
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed 8c9c81b
nightly-testing
Status Success
Total duration 40s
Artifacts –

build.yml

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