diff options
author | Mathieu Lirzin <mthl@gnu.org> | 2016-07-26 00:36:12 +0200 |
---|---|---|
committer | Mathieu Lirzin <mthl@gnu.org> | 2016-07-26 00:36:12 +0200 |
commit | c83d5d4da84d31e1c05e6e5d77c7f78fa4a38ad9 (patch) | |
tree | fa43aed3b470a151e4fef963657e22a010d56d89 /src/schema.sql | |
parent | e51a755f10ac7a093d85fb6f8868c33a046cc9ab (diff) | |
download | cuirass-c83d5d4da84d31e1c05e6e5d77c7f78fa4a38ad9.tar cuirass-c83d5d4da84d31e1c05e6e5d77c7f78fa4a38ad9.tar.gz |
Use stamps to poll repositories.
Diffstat (limited to 'src/schema.sql')
-rw-r--r-- | src/schema.sql | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/schema.sql b/src/schema.sql index 9cc7167..d5c1f00 100644 --- a/src/schema.sql +++ b/src/schema.sql @@ -14,6 +14,12 @@ CREATE TABLE Specifications ( revision TEXT ); +CREATE TABLE Stamps ( + specification INTEGER NOT NULL PRIMARY KEY, + stamp TEXT NOT NULL, + FOREIGN KEY (specification) REFERENCES Specifications (id) +); + CREATE TABLE Evaluations ( derivation TEXT NOT NULL PRIMARY KEY, job_name TEXT NOT NULL, |