Doctester: Issue a warning when unknown `# optional` / `# needs` tags are used #38217

Open

Open

Doctester: Issue a warning when unknown # optional / # needs tags are used#38217

Labels

c: doctest frameworkwishlist item

opened

on Jun 13, 2024

Motivated by #38215 and per https://groups.google.com/g/sage-support/c/Msx0QJF7rpA/m/NwSu9PMlAQAJ @videlec

Depends on Add missing Features for optional and experimental SPKGs #35856

Metadata

Assignees

No one assigned

Labels

c: doctest frameworkwishlist item

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests