History

Fix GitHub PR list Effect decoder

Cursor Agent committed 4 months ago

Commit 5429dfb1 parent baaba341 file · +1 −2Browse files

Showing the changes to apps/server/src/sourceControl/gitHubPullRequests.ts (1 of 1 file). Show all

Unified · Split

apps/server/src/sourceControl/gitHubPullRequests.ts+1−2
@@ -1,5 +1,4 @@
1import * as Cause from "effect/Cause";1import * as Cause from "effect/Cause";
2import * as Arr from "effect/Array";
3import * as DateTime from "effect/DateTime";2import * as DateTime from "effect/DateTime";
4import * as Effect from "effect/Effect";3import * as Effect from "effect/Effect";
5import * as Exit from "effect/Exit";4import * as Exit from "effect/Exit";
@@ -151,7 +150,7 @@ export function decodeGitHubPullRequestListJsonEffect( · 145 unmodified lines
151 Effect.option,150 Effect.option,
152 ),151 ),
153 );152 );
154 return Arr.filterMap(decoded, (entry) => entry);153 return decoded.flatMap((entry) => (Option.isSome(entry) ? [entry.value] : []));
155 });154 });
156}155}
157 156