Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open
jberthold opened this issue Jul 22, 2024 · 0 comments
Open

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

jberthold opened this issue Jul 22, 2024 · 0 comments
Assignees
@goodlyrottenapple

Comments

@jberthold
Copy link
Member

Reported by Jin Lim: https://runtimeverification.slack.com/archives/CC360GUTG/p1721295316761249
An implies request was observed to take more than one hour.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@goodlyrottenapple goodlyrottenapple

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jberthold @goodlyrottenapple