Update Mathlib/AlgebraicTopology/SimplexCategory/GeneratorsRelations/… · leanprover-community/mathlib4@dc4f072

Triggered via push February 17, 2025 12:36

Status Success

Total duration 13m 49s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
import-graph Expired	199 KB