Fix merge mistake · leanprover-community/mathlib4@520b49d

Triggered via push May 27, 2025 22:31

nomeata

lean-pr-testing-8419

Status Success

Total duration 8m 22s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
import-graph Expired	224 KB	`sha256:ea6ae24721d165241b36f1249e6039621e1645e02cfc12187006721b4012fc8e`