Skip to content

Actions: zth/rescript-relay

PPX

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
205 workflow runs
205 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Input unions
PPX #909: Pull request #481 synchronize by zth
December 27, 2023 08:38 4m 17s input-unions
December 27, 2023 08:38 4m 17s
Input unions
PPX #908: Pull request #481 synchronize by zth
December 23, 2023 16:11 2m 54s input-unions
December 23, 2023 16:11 2m 54s
Input unions
PPX #907: Pull request #481 opened by zth
December 23, 2023 16:08 14m 43s input-unions
December 23, 2023 16:08 14m 43s
emit live annotations for variant cases to prevent false positives in…
PPX #905: Commit 20e84a1 pushed by zth
December 6, 2023 12:17 4m 52s master
December 6, 2023 12:17 4m 52s
fix CLI to only account for record fields
PPX #904: Commit 53d4179 pushed by zth
December 5, 2023 15:28 5m 9s master
December 5, 2023 15:28 5m 9s
fix single item enums as unboxed
PPX #903: Commit cad771d pushed by zth
December 5, 2023 15:15 4m 26s master
December 5, 2023 15:15 4m 26s
3.0.0-alpha.4
PPX #902: Commit 1013005 pushed by zth
December 5, 2023 14:52 15m 30s master
December 5, 2023 14:52 15m 30s
fix broken links
PPX #901: Commit b34745b pushed by zth
November 10, 2023 19:15 5m 15s master
November 10, 2023 19:15 5m 15s
Merge pull request #420 from zth/port-official-relay-tutorial
PPX #899: Commit 160b414 pushed by mbirkegaard
November 10, 2023 16:31 4m 15s master
November 10, 2023 16:31 4m 15s
Port official relay tutorial
PPX #898: Pull request #420 synchronize by mbirkegaard
November 10, 2023 15:30 4m 16s port-official-relay-tutorial
November 10, 2023 15:30 4m 16s
Port official relay tutorial
PPX #897: Pull request #420 synchronize by mbirkegaard
November 10, 2023 15:18 5m 23s port-official-relay-tutorial
November 10, 2023 15:18 5m 23s
Port official relay tutorial
PPX #896: Pull request #420 synchronize by mbirkegaard
November 10, 2023 11:22 4m 44s port-official-relay-tutorial
November 10, 2023 11:22 4m 44s
Port official relay tutorial
PPX #895: Pull request #420 synchronize by mbirkegaard
November 9, 2023 12:30 5m 50s port-official-relay-tutorial
November 9, 2023 12:30 5m 50s
2.3.0
PPX #894: Commit 18710e4 pushed by zth
November 9, 2023 09:43 6m 10s 2.x
2.x
November 9, 2023 09:43 6m 10s
3.0.0-alpha.3
PPX #893: Commit 6721267 pushed by zth
November 8, 2023 10:31 17m 30s master
November 8, 2023 10:31 17m 30s
2.2.1
PPX #892: Commit 7f62004 pushed by zth
November 8, 2023 10:30 12m 7s 2.x
2.x
November 8, 2023 10:30 12m 7s
BUmp example to rescript-relay v2.2.0 (#475)
PPX #891: Commit b151739 pushed by zth
October 30, 2023 05:27 5m 52s master
October 30, 2023 05:27 5m 52s
2.2.0
PPX #888: Commit c528a26 pushed by zth
October 22, 2023 09:18 6m 49s 2.x
2.x
October 22, 2023 09:18 6m 49s
up stuff in ci
PPX #887: Commit abdf2d8 pushed by zth
October 21, 2023 18:57 5m 52s 2.x
2.x
October 21, 2023 18:57 5m 52s
up stuff in ci
PPX #886: Commit e1147ad pushed by zth
October 21, 2023 18:56 5m 55s master
October 21, 2023 18:56 5m 55s
up to Relay 16 + 3.0.0-alpha.2
PPX #885: Commit 10ff7b9 pushed by zth
October 21, 2023 17:46 5m 55s master
October 21, 2023 17:46 5m 55s
2.2.0
PPX #884: Commit fef97d4 pushed by zth
October 21, 2023 17:20 7m 1s 2.x
2.x
October 21, 2023 17:20 7m 1s