Compile blueprint

lean4lean python script #1292

Sign in to view logs

Triggered via pull request October 10, 2024 16:58

Shreyas4991

synchronize #421

lean4lean

Status Success

Total duration 7m 45s

Artifacts –

blueprint.yml

on: pull_request