Skip to content
Compile blueprint

Add script to list Lean definitions in LeanMachineLearning files #602

Sign in to view logs

Add script to list Lean definitions in LeanMachineLearning files

Add script to list Lean definitions in LeanMachineLearning files #602

Triggered via pull request June 11, 2026 08:15
@RemyDegenneRemyDegenne
opened #122
agents/list-lean-definitions-script
Status Success
Total duration 10m 57s
Artifacts –

blueprint.yml

on: pull_request
Build project
10m 53s
Build project
Fit to window
Zoom out
Zoom in