diff options
| author | Gibheer <gibheer+git@zero-knowledge.org> | 2019-05-28 13:38:16 +0200 |
|---|---|---|
| committer | Gibheer <gibheer+git@zero-knowledge.org> | 2019-05-28 13:38:16 +0200 |
| commit | 142f9cf3582e111910723cacbdc4a66267a79c75 (patch) | |
| tree | a2d638f8ecc6c0fc69baf06c5bc8b65b6bb9f251 /Makefile | |
| parent | 2bfe75c8a702508284ddb75a8db3a1b4911b9635 (diff) | |
fill in state_change column
Any time the state of the check changes, we need to refresh the column.
This will be used in the frontend. This way it is much faster than using
the notifications and also doesn't rely on the last of it being still
around.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions