Trigger CI for https://github.com/leanprover/lean4/pull/7717 · leanprover-community/mathlib4@a00f0c4

Triggered via push March 30, 2025 17:47

ghost

lean-pr-testing-7717

Status Success

Total duration 47m 7s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
import-graph Expired	212 KB	`sha256:44da9b57c9618daf45ec085c01bfccf1fe15a5841b85cffd1ac080d7c8684693`