Use docgen-action #121

New issue

Copy link

New issue

Copy link

Open

#128

Open

Use docgen-action#121

#128

Copy link

Labels

good first issueGood for newcomersGood for newcomers

Description

chenson2018

opened on Oct 23, 2025

Issue body actions

We should update the documentation workflow to use leanprover-community/docgen-action.

Metadata

Metadata

Assignees

No one assigned

Labels

good first issueGood for newcomersGood for newcomers

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions