Skip to content

extraText in Reach.Reach and Reach.Deadlock #563

Open
Open
extraText in Reach.Reach and Reach.Deadlock#563
Labels
after-examcopilot-eventuallypetri
@jvoigtlaender

Description

@jvoigtlaender
jvoigtlaender
opened on Jan 20, 2026

These are the only task types left not supporting this?

See #370 and #414 for how to do it.

Metadata

Metadata

Assignees

No one assigned

    Labels

    after-examcopilot-eventuallypetri

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions