fix(Linter/OldObtain): typos · leanprover-community/mathlib4@88c9748

Triggered via push February 2, 2025 00:27

LeoDog896

tristanfr.oo-typo

Status Success

Total duration 49m 37s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
import-graph Expired	194 KB