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

Triggered via push February 4, 2025 15:44

lean-pr-testing-6744

Status Success

Total duration 59m 10s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
import-graph Expired	194 KB