Skip to content
.github/workflows/lean_build.yml

LeanAgent Proofs #292

Sign in to view logs

LeanAgent Proofs

LeanAgent Proofs #292

Re-run triggered November 22, 2024 07:19
@mo271mo271
#67
Adarsh321123:LeanAgent
Status Success
Total duration 2m 9s
Artifacts –

lean_build.yml

on: pull_request
Build project
1m 59s
Build project
Fit to window
Zoom out
Zoom in