1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
//! Persist task-level success evidence for learned cheap-route locks.
use sea_orm_migration::prelude::*;
#[derive(DeriveMigrationName)]
pub struct Migration;
#[async_trait::async_trait]
impl MigrationTrait for Migration {
async fn up(&self, manager: &SchemaManager) -> Result<(), DbErr> {
manager
.create_table(
Table::create()
.table(AdequacySemanticSuccess::Table)
.if_not_exists()
.col(
ColumnDef::new(AdequacySemanticSuccess::EvidenceId)
.string()
.not_null()
.primary_key(),
)
.col(
ColumnDef::new(AdequacySemanticSuccess::Fingerprint)
.string()
.not_null(),
)
.col(
ColumnDef::new(AdequacySemanticSuccess::TaskId)
.string()
.not_null(),
)
.col(
ColumnDef::new(AdequacySemanticSuccess::CreatedAt)
.string()
.not_null(),
)
.to_owned(),
)
.await?;
manager
.create_index(
Index::create()
.if_not_exists()
.name("idx_adequacy_semantic_success_fingerprint")
.table(AdequacySemanticSuccess::Table)
.col(AdequacySemanticSuccess::Fingerprint)
.to_owned(),
)
.await?;
Ok(())
}
async fn down(&self, manager: &SchemaManager) -> Result<(), DbErr> {
manager
.drop_table(
Table::drop()
.table(AdequacySemanticSuccess::Table)
.to_owned(),
)
.await?;
Ok(())
}
}
#[derive(DeriveIden)]
enum AdequacySemanticSuccess {
Table,
EvidenceId,
Fingerprint,
TaskId,
CreatedAt,
}