Apply suggestions from code review · leanprover-community/mathlib4@d8d7792

Triggered via push January 30, 2025 22:53

jvlmdr

jvlmdr-schwartzLp

Status Success

Total duration 11m 27s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
import-graph Expired	190 KB