Build project

Merge pull request #6 from LeanMachineLearning/lint #22

Sign in to view logs

Triggered via push August 31, 2026 14:22

gaetanserre

main

Status Success

Total duration 4m 9s

Artifacts –

build.yml

on: push