Implies request (from kontrol) taking 1h to process #3990

Open

Open

Implies request (from kontrol) taking 1h to process#3990

Assignees

opened

on Jul 22, 2024

Reported by Jin Lim: https://runtimeverification.slack.com/archives/CC360GUTG/p1721295316761249
An implies request was observed to take more than one hour.

Metadata

Assignees

goodlyrottenapple

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests