Skip to content

New release of sphinx-proof #93

@KennethNielsen

Description

@KennethNielsen

Context

I'm using some of the new box types like assumption, that is not released yet. For local development it works fine, to just put the repository link and commit hash in as a requirement, but this seems not to work on ReadTheDocs.

I'd therefore like to ask for a new release with the new functionality.

Proposal

I'd like to ask for a new release.

Tasks and updates

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions