Skip to content

Messages based on results should be printed as regular messages #1432

Closed
Closed
Messages based on results should be printed as regular messages#1432
Assignees
adpaco
Labels
[C] InternalTracks some internal work. I.e.: Users should not be affected.[I] Refactoring / Clean UpRefactoring or cleaning up of existing code
Milestone
Kani UX features
@adpaco

Description

@adpaco
adpaco
opened on Aug 1, 2022
No description provided.

Metadata

Metadata

Assignees

Labels

[C] InternalTracks some internal work. I.e.: Users should not be affected.[I] Refactoring / Clean UpRefactoring or cleaning up of existing code

Type

No type

Fields

No fields configured for issues without a type.

Projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions