Build Lean project

Bump mathlib #253

Sign in to view logs

Triggered via push February 16, 2025 12:10

YaelDillies

master

Status Success

Total duration 21m 0s

Artifacts –

push_master.yml

on: push

Annotations

1 warning

Build project

Cache not found for keys: MathlibDoc-bb52d905a85b42353ee1054cd12cc73e5c1d84248ddda4f7b0dc5e1ace607c3d, MathlibDoc-