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.

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

Track constraint checking status in the database #637

Closed
camargo opened this issue Feb 1, 2023 · 2 comments · Fixed by #1013
Closed

Track constraint checking status in the database #637

camargo opened this issue Feb 1, 2023 · 2 comments · Fixed by #1013
Assignees
Labels
constraints Anything related to the constraints domain feature A new feature or feature request

Comments

@camargo
Copy link
Member

camargo commented Feb 1, 2023

We need to reflect the status of constraint checking the database. This should be similar to how we store simulation and scheduling statuses.

@camargo camargo added the feature A new feature or feature request label Feb 1, 2023
@camargo camargo added this to Aerie Feb 1, 2023
@github-project-automation github-project-automation bot moved this to Todo in Aerie Feb 1, 2023
@camargo camargo added the constraints Anything related to the constraints domain label Mar 6, 2023
@joswig
Copy link
Collaborator

joswig commented Jun 1, 2023

We also need a design for persisting constraint check results. They currently aren't tracked and need to be re-run. If it makes sense we can split that into another issue

@cohansen
Copy link
Contributor

cohansen commented Jun 1, 2023

I think we need to do both of these things at the same time, each constraint_run (or whatever this new table is called) record should contain the status of the result, and probably some other properties as well. I'll take a look at the db to see how scheduling and simulation handle this.

@camargo camargo moved this from Todo to In Progress in Aerie Jun 8, 2023
@camargo camargo moved this from In Progress to In Review in Aerie Jul 6, 2023
@github-project-automation github-project-automation bot moved this from In Review to Done in Aerie Jul 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
constraints Anything related to the constraints domain feature A new feature or feature request
Projects
Archived in project
Development

Successfully merging a pull request may close this issue.

4 participants