Trigger CI for https://github.com/leanprover/lean4/pull/6744 · leanprover-community/mathlib4@1f0631c

Triggered via push February 10, 2025 16:47

lean-pr-testing-6744

Status Success

Total duration 1h 8m 56s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
import-graph Expired	196 KB