make it a simp? · leanprover-community/mathlib4@652a2ba

Triggered via push April 30, 2025 08:45

xroblot

Status Success

Total duration 46m 55s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
import-graph Expired	219 KB	`sha256:2a445452576725f79e4931037646cc37499722421440f235b6e8f8dd2e7ac279`