urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-22 10:21:31 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #5680 from urbit/po/fix-hark-body-type-definition

Browse Source 
npm: fix HarkBody type def for time
This commit is contained in:
Hunter Miller 2022-03-29 11:01:30 -05:00 committed by GitHub
commit f1f7a995f0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkg/npm/api/hark/types.ts
View File

@ -13,7 +13,7 @@ export type HarkContent = { ship: string; } | { text: string; };
export interface HarkBody { export interface HarkBody {
title: HarkContent[]; title: HarkContent[];
time: string; time: number;
content: HarkContent[]; content: HarkContent[];
link: string; link: string;
binned: string; binned: string;
@ -29,7 +29,7 @@ export interface HarkBin {
place: HarkPlace; place: HarkPlace;
} }
export type HarkLid = export type HarkLid =
{ unseen: null; } { unseen: null; }
| { seen: null; } | { seen: null; }
| { time: string; }; | { time: string; };