ci

Update lean-toolchain for https://github.com/leanprover/lean4/pull/11284 #15716

Sign in to view logs

Triggered via push November 20, 2025 18:58

ghost

lean-pr-testing-11284

Status Failure

Total duration 28s

Artifacts –

build.yml

on: push

Annotations

2 errors

Process completed with exit code 1.

lake build failed