Beat this into some sort of shape · leanprover-community/mathlib4@1b0044b

Triggered via push February 12, 2025 22:06

mans0954

Status Success

Total duration 9m 15s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
import-graph Expired	197 KB