diff options
| author | Rubén Beltrán del Río <jj@r.bdr.sh> | 2026-09-24 21:01:06 +0200 |
|---|---|---|
| committer | Rubén Beltrán del Río <jj@r.bdr.sh> | 2026-09-25 20:16:02 +0200 |
| commit | 628406f0a50e040d4661629446c620a3a495441f (patch) | |
| tree | e1a2b783296b1779a4040b5a7ea55d72547a37e8 /sourcehut_builds.d.luau | |
Diffstat (limited to 'sourcehut_builds.d.luau')
| -rw-r--r-- | sourcehut_builds.d.luau | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/sourcehut_builds.d.luau b/sourcehut_builds.d.luau new file mode 100644 index 0000000..100e388 --- /dev/null +++ b/sourcehut_builds.d.luau @@ -0,0 +1,47 @@ +export type SourcehutBuildsState = { + successful: number, + failed: number, + inProgress: number, + user: string, + builds: { SourcehutBuild } +} + +export type SourcehutBuild = { + id: number, + created: string, + updated: string, + status: SourcehutBuildStatus, + note: string, + tags: {[number]: string}, + tasks: {[number]: SourcehutBuildTask} +} + +export type SourcehutBuildStatus = "PENDING" | "QUEUED" | "RUNNING" | "FAILED" | "SUCCESS" | "TIMEOUT" | "CANCELLED" + +export type SourcehutBuildTask = { + name: string, + status: SourcehutBuildTaskStatus +} +export type SourcehutBuildTaskStatus = "PENDING" | "RUNNING" | "FAILED" | "SUCCESS" | "SKIPPED" + +type Err<E> = {type: "error", error: string} +type Pending = {type: "pending"} +type Ok = {type: "ok"} +export type PollerStatus = Err<string> | Pending | Ok + +export type SourcehutBuildResponse = { + data: SourcehutBuildData +} + +export type SourcehutBuildData = { + me: SourcehutUser, +} + +export type SourcehutUser = { + canonicalName: string, + jobs: SourcehutUserJobs +} + +export type SourcehutUserJobs = { + results: {[number]: SourcehutBuild}, +} |