Build

chore: bump mathlib to 8319c83, fix breaking changes #60

Sign in to view logs

Re-run triggered September 12, 2026 12:45

RemyDegenne

#248

bump-mathlib/fix-8319c83

Status Failure

Total duration 10m 25s

Artifacts –

build.yml

on: pull_request

Annotations

2 errors

Build project

Process completed with exit code 1.

Build project

lake build failed