Build Lean project

Use `leanprover-community/docgen-action` #10

Sign in to view logs

Triggered via push November 29, 2025 11:18

YaelDillies

master

Status Failure

Total duration 4m 48s

Artifacts –

push.yml

on: push

Annotations

1 error

Build project

Process completed with exit code 255.