Build Lean project

fix doc building #812

Sign in to view logs

Triggered via pull request January 14, 2026 13:12

sgouezel

opened #264

sgouezel:master

Status Success

Total duration 2m 29s

Artifacts –

push.yml

on: pull_request