continuous integration

feat(/Fin/): add lemmas (#21175) #160224

Sign in to view logs

Triggered via push January 28, 2025 16:40

mathlib-bors[bot]

master

Status Success

Total duration 8m 7s

Artifacts 1

build.yml

on: push

Artifacts

Produced during runtime

Name	Size
import-graph	193 KB