Compile blueprint

Add description of some progress using lean-egg (#210) #691

Sign in to view logs

Triggered via push October 2, 2024 23:39

main

Status Success

Total duration 6m 6s

Artifacts –

blueprint.yml

on: push