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

Triggered via push February 4, 2025 11:57

lean-pr-testing-6744

Status Success

Total duration 48m 24s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
import-graph Expired	194 KB