Skip to content
Compile blueprint

LeanAgent Proofs #133

Sign in to view logs

LeanAgent Proofs

LeanAgent Proofs #133

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

blueprint.yml

on: pull_request
Build project
8m 43s
Build project
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
35.9 MB