-
Notifications
You must be signed in to change notification settings - Fork 2.1k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat(prover): store time taken by wvg
- Loading branch information
1 parent
db97fea
commit 8d2e87a
Showing
6 changed files
with
60 additions
and
2 deletions.
There are no files selected for viewing
15 changes: 15 additions & 0 deletions
15
...ver_dal/.sqlx/query-ada952c0172767d1ba41ab9b812f37e379c9a7ff62fa84eeaa8df7749803466c.json
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
8 changes: 7 additions & 1 deletion
8
...ver_dal/.sqlx/query-c2c140d136df5303d7b3a66ccd0d34a5baece02812f8c950fc84d37eeebd33a4.json
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
5 changes: 5 additions & 0 deletions
5
prover/prover_dal/migrations/20240708090440_add_wvg_time_taken.down.sql
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
ALTER TABLE prover_jobs_fri | ||
DROP COLUMN IF EXISTS wvg_time_taken; | ||
|
||
ALTER TABLE prover_jobs_fri_archive | ||
DROP COLUMN IF EXISTS wvg_time_taken; |
5 changes: 5 additions & 0 deletions
5
prover/prover_dal/migrations/20240708090440_add_wvg_time_taken.up.sql
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
ALTER TABLE prover_jobs_fri | ||
ADD COLUMN IF NOT EXISTS wvg_time_taken TIME; | ||
|
||
ALTER TABLE prover_jobs_fri_archive | ||
ADD COLUMN IF NOT EXISTS wvg_time_taken TIME; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters