Skip to content

Support for odoc 3 #14763

@shonfeder

Description

@shonfeder

Odoc 3 adds new features, but it will require updated rules to take advantage of them.

This issue tracks ongoing work, including

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type
No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions