Skip to content

Actions: ocaml-flambda/flambda-backend

Actions

Syntax changes reminder

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
document-syntax.yml
287 workflow runs
287 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Block indices Syntax changes reminder #287: Pull request #4017 synchronize by rtjoa
May 16, 2025 20:36 11s
May 16, 2025 20:36 11s
Block indices Syntax changes reminder #286: Pull request #4017 opened by rtjoa
May 16, 2025 20:29 11s
May 16, 2025 20:29 11s
Infer with-kinds for GADTs, using Tof_kind for existentials Syntax changes reminder #285: Pull request #3814 synchronize by goldfirere
May 14, 2025 19:50 7s
May 14, 2025 19:50 7s
Infer with-kinds for GADTs, using Tof_kind for existentials Syntax changes reminder #284: Pull request #3814 synchronize by goldfirere
May 14, 2025 19:03 5s
May 14, 2025 19:03 5s
Introduce a new flavor of type, Tof_kind, for representing existentials that end up in with-bounds Syntax changes reminder #283: Pull request #3864 synchronize by goldfirere
May 13, 2025 20:49 9s
May 13, 2025 20:49 9s
Implement let mutable Syntax changes reminder #282: Pull request #3964 synchronize by jra4
May 8, 2025 20:58 8s
May 8, 2025 20:58 8s
Implement let mutable Syntax changes reminder #281: Pull request #3964 synchronize by jra4
May 6, 2025 21:37 9s
May 6, 2025 21:37 9s
Implement let mutable Syntax changes reminder #280: Pull request #3964 synchronize by jra4
May 2, 2025 20:37 7s
May 2, 2025 20:37 7s
Implement let mutable Syntax changes reminder #279: Pull request #3964 synchronize by jra4
May 2, 2025 20:32 9s
May 2, 2025 20:32 9s
Implement let mutable Syntax changes reminder #278: Pull request #3964 opened by jra4
May 2, 2025 20:27 8s
May 2, 2025 20:27 8s
Introduce a new flavor of type, Tof_kind, for representing existentials that end up in with-bounds Syntax changes reminder #277: Pull request #3864 synchronize by glittershark
April 25, 2025 19:08 15s
April 25, 2025 19:08 15s
Introduce a new flavor of type, Tof_kind, for representing existentials that end up in with-bounds Syntax changes reminder #276: Pull request #3864 synchronize by glittershark
April 25, 2025 18:42 9s
April 25, 2025 18:42 9s
Introduce a new flavor of type, Tof_kind, for representing existentials that end up in with-bounds Syntax changes reminder #275: Pull request #3864 synchronize by glittershark
April 25, 2025 18:33 12s
April 25, 2025 18:33 12s
Introduce a new flavor of type, Tof_kind, for representing existentials that end up in with-bounds Syntax changes reminder #274: Pull request #3864 synchronize by glittershark
April 25, 2025 18:32 9s
April 25, 2025 18:32 9s
Introduce a new flavor of type, Tof_kind, for representing existentials that end up in with-bounds Syntax changes reminder #273: Pull request #3864 synchronize by glittershark
April 25, 2025 18:30 16s
April 25, 2025 18:30 16s
Introduce a new flavor of type, Tof_kind, for representing existentials that end up in with-bounds Syntax changes reminder #272: Pull request #3864 synchronize by glittershark
April 23, 2025 21:41 10s
April 23, 2025 21:41 10s
Infer with-kinds for GADTs, using Tof_kind for existentials Syntax changes reminder #271: Pull request #3814 synchronize by glittershark
April 15, 2025 18:14 16s
April 15, 2025 18:14 16s
Introduce a new flavor of type, Tof_kind, for representing existentials that end up in with-bounds Syntax changes reminder #270: Pull request #3864 synchronize by glittershark
April 15, 2025 18:14 21s
April 15, 2025 18:14 21s
Infer with-kinds for GADTs, using Tof_kind for existentials Syntax changes reminder #269: Pull request #3814 synchronize by glittershark
April 15, 2025 18:14 28s
April 15, 2025 18:14 28s
Infer with-kinds for GADTs, using Tof_kind for existentials Syntax changes reminder #268: Pull request #3814 synchronize by glittershark
April 15, 2025 18:03 13s
April 15, 2025 18:03 13s
Introduce a new flavor of type, Tof_kind, for representing existentials that end up in with-bounds Syntax changes reminder #267: Pull request #3864 opened by glittershark
April 15, 2025 18:03 12s
April 15, 2025 18:03 12s
Infer with-kinds for GADTs, using Tof_kind for existentials Syntax changes reminder #266: Pull request #3814 synchronize by glittershark
April 15, 2025 17:57 46s
April 15, 2025 17:57 46s
Infer with-kinds for GADTs, using Tof_kind for existentials Syntax changes reminder #265: Pull request #3814 synchronize by glittershark
April 15, 2025 16:58 12s
April 15, 2025 16:58 12s
Infer with-kinds for GADTs, using Tof_kind for existentials Syntax changes reminder #264: Pull request #3814 synchronize by glittershark
April 15, 2025 16:32 13s
April 15, 2025 16:32 13s
Infer with-kinds for GADTs, using Tof_kind for existentials Syntax changes reminder #263: Pull request #3814 synchronize by glittershark
April 15, 2025 15:41 13s
April 15, 2025 15:41 13s