Build project

Merge pull request #7 from LeanMachineLearning/NumLean #47

Sign in to view logs

Triggered via push September 9, 2026 14:34

gaetanserre

main

Status Success

Total duration 5m 14s

Artifacts –

build.yml

on: push