Final adaption · leanprover-community/mathlib4@164d939

Triggered via push May 9, 2025 05:43

nomeata

lean-pr-testing-8267

Status Success

Total duration 6m 8s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
import-graph Expired	221 KB	`sha256:aebf19b4fdeebebf3bb170c9293490b757ab1b0c1e321b3be0e1d4785b4badbb`