Skip to content

Create Query History Items Immediately #400

@jcreedcmu

Description

@jcreedcmu

Query history items are created once query has finished running, but this can lead to ordering differing from the order in which the user invoked queries, if queries take different amounts of time to run.

Instead create them immediately and asynchronously update their state when queries finish running.

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions