.github/workflows/lean_build.yml

LeanAgent Proofs #293

Sign in to view logs

Re-run triggered November 22, 2024 07:24

mo271

#67

Adarsh321123:LeanAgent

Status Success

Total duration 2m 8s

Artifacts –

lean_build.yml

on: pull_request