Compile blueprint

LeanAgent Proofs (#67) #134

Sign in to view logs

Triggered via push November 22, 2024 08:05

mo271

main

Status Success

Total duration 9m 47s

Artifacts 1

blueprint.yml

on: push

Artifacts

Produced during runtime

Name	Size
github-pages Expired	35.9 MB