Make history's time non nullable (it was never null anyways)

api/src/db/schema/history.ts

@@ -18,7 +18,7 @@ export const history = schema.table(
 			.references(() => entries.pk, { onDelete: "cascade" }),
 		videoPk: integer().references(() => videos.pk, { onDelete: "set null" }),
 		percent: integer().notNull().default(0),
-		time: integer(),
+		time: integer().notNull().default(0),
 		playedDate: timestamp({ withTimezone: true, mode: "iso" })
 			.notNull()
 			.default(sql`now()`),

api/src/models/history.ts

@@ -3,15 +3,13 @@ import { comment } from "~/utils";
 
 export const Progress = t.Object({
 	percent: t.Integer({ minimum: 0, maximum: 100 }),
-	time: t.Nullable(
+	time: t.Integer({
-		t.Integer({
+		minimum: 0,
-			minimum: 0,
+		description: comment`
-			description: comment`
 				When this episode was stopped (in seconds since the start).
 				This value is null if the entry was never watched or is finished.
 			`,
-		}),
+	}),
-	),
 	playedDate: t.Nullable(t.String({ format: "date-time" })),
 	videoId: t.Nullable(
 		t.String({

front/src/models/entry.ts

@@ -29,7 +29,7 @@ const Base = z.object({
 	),
 	progress: z.object({
 		percent: z.int().min(0).max(100),
-		time: z.int().min(0).nullable(),
+		time: z.int().min(0),
 		playedDate: zdate().nullable(),
 		videoId: z.string().nullable(),
 	}),

front/src/models/extra.ts

@@ -22,7 +22,7 @@ export const Extra = z.object({
 
 	progress: z.object({
 		percent: z.int().min(0).max(100),
-		time: z.int().min(0).nullable(),
+		time: z.int().min(0),
 		playedDate: zdate().nullable(),
 	}),
 });

front/src/models/video.ts

@@ -39,7 +39,7 @@ export const FullVideo = Video.extend({
 	slugs: z.array(z.string()),
 	progress: z.object({
 		percent: z.int().min(0).max(100),
-		time: z.int().min(0).nullable(),
+		time: z.int().min(0),
 		playedDate: zdate().nullable(),
 		videoId: z.string().nullable(),
 	}),