Update README.md · lean-dojo/LeanCopilot@486603b

Triggered via push December 18, 2025 07:39

main

Status Failure

Total duration 19m 34s

Artifacts –

ci.yml

on: push

Matrix: BuildRelease

3 errors

Process completed with exit code 1.

The strategy configuration was canceled because "build-release.ubuntu-latest" failed

The operation was canceled.