Skip to content
ci

Merge main into nightly-testing #7795

Sign in to view logs

Merge main into nightly-testing

Merge main into nightly-testing #7795

Triggered via push August 16, 2024 07:38
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed d51e485
nightly-testing
Status Success
Total duration 1m 18s
Artifacts –

build.yml

on: push
Build
1m 10s
Build
Fit to window
Zoom out
Zoom in