mirror of
https://github.com/zed-industries/zed.git
synced 2026-05-31 19:05:00 +07:00
diagnostics: Add DEFAULT 0 to info_count column in worktree_diagnostic_summaries
This commit is contained in:
parent
c4d97f239f
commit
bf650d2a78
2 changed files with 2 additions and 2 deletions
|
|
@ -158,7 +158,7 @@ CREATE TABLE "worktree_diagnostic_summaries" (
|
|||
"language_server_id" INTEGER NOT NULL,
|
||||
"error_count" INTEGER NOT NULL,
|
||||
"warning_count" INTEGER NOT NULL,
|
||||
"info_count" INTEGER NOT NULL,
|
||||
"info_count" INTEGER NOT NULL DEFAULT 0,
|
||||
PRIMARY KEY (project_id, worktree_id, path),
|
||||
FOREIGN KEY (project_id, worktree_id) REFERENCES worktrees (project_id, id) ON DELETE CASCADE
|
||||
);
|
||||
|
|
|
|||
|
|
@ -445,7 +445,7 @@ CREATE TABLE public.worktree_diagnostic_summaries (
|
|||
language_server_id bigint NOT NULL,
|
||||
error_count integer NOT NULL,
|
||||
warning_count integer NOT NULL,
|
||||
info_count integer NOT NULL
|
||||
info_count integer NOT NULL DEFAULT 0
|
||||
);
|
||||
|
||||
CREATE TABLE public.worktree_entries (
|
||||
|
|
|
|||
Loading…
Reference in a new issue