Build Lean project

Bump mathlib #305

Sign in to view logs

Triggered via push February 2, 2025 11:37

YaelDillies

master

Status Failure

Total duration 25m 55s

Artifacts –

push.yml

on: push

Annotations

1 error

Build project

Process completed with exit code 1.