Please the linter · leanprover-community/mathlib4@7421628

Triggered via push May 21, 2025 12:51

nomeata

lean-pr-testing-8419

Status Success

Total duration 26m 23s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
import-graph Expired	223 KB	`sha256:ed3a769d1f9c4477a19819dcf0b16c630cec9c8e6c2a8046068a4ed9c0c09196`