Build Lean project

Bump mathlib #266

Sign in to view logs

Triggered via push March 18, 2025 12:30

YaelDillies

master

Status Failure

Total duration 10s

Artifacts –

push_master.yml

on: push

Annotations

1 error

Build project

Process completed with exit code 1.