Skip to content

Actions: ocaml-ppx/ocamlformat

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
484 workflow run results
484 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor handling of comments
Changelog check #2042: Pull request #2371 synchronize by Julow
October 26, 2023 14:17 14s Julow:cmts-factor
October 26, 2023 14:17 14s
Refactor handling of comments
PR number update #1586: Pull request #2371 synchronize by Julow
October 26, 2023 14:17 18s
October 26, 2023 14:17 18s
Remove unnecessary Sugar.polynewtype
Build on Linux #251: Pull request #2467 opened by gpetiot
October 23, 2023 08:55 14m 23s gpetiot:rm-sugar-polynewtype
October 23, 2023 08:55 14m 23s
Remove unnecessary Sugar.polynewtype
Changelog check #2041: Pull request #2467 opened by gpetiot
October 23, 2023 08:55 17s gpetiot:rm-sugar-polynewtype
October 23, 2023 08:55 17s
Remove unnecessary Sugar.polynewtype
Build on other platforms #251: Pull request #2467 opened by gpetiot
October 23, 2023 08:55 17m 13s gpetiot:rm-sugar-polynewtype
October 23, 2023 08:55 17m 13s
Remove unnecessary Sugar.polynewtype
Changelog check #2040: Pull request #2467 labeled by gpetiot
October 23, 2023 08:55 17s gpetiot:rm-sugar-polynewtype
October 23, 2023 08:55 17s
Remove unnecessary Sugar.polynewtype
PR number update #1585: Pull request #2467 opened by gpetiot
October 23, 2023 08:55 16s
October 23, 2023 08:55 16s
Define type function_param and replace Sugar.arg_kind (#2466)
Build on other platforms #250: Commit 181da77 pushed by gpetiot
October 23, 2023 02:06 12m 51s main
October 23, 2023 02:06 12m 51s
Define type function_param and replace Sugar.arg_kind (#2466)
Build on Linux #250: Commit 181da77 pushed by gpetiot
October 23, 2023 02:06 14m 26s main
October 23, 2023 02:06 14m 26s
Define type function_param and replace Sugar.arg_kind
Changelog check #2039: Pull request #2466 labeled by gpetiot
October 23, 2023 01:45 17s gpetiot:fun-param
October 23, 2023 01:45 17s
Define type function_param and replace Sugar.arg_kind
Changelog check #2038: Pull request #2466 opened by gpetiot
October 23, 2023 01:45 14s gpetiot:fun-param
October 23, 2023 01:45 14s
Define type function_param and replace Sugar.arg_kind
PR number update #1584: Pull request #2466 opened by gpetiot
October 23, 2023 01:45 14s
October 23, 2023 01:45 14s
Define type function_param and replace Sugar.arg_kind
Build on Linux #249: Pull request #2466 opened by gpetiot
October 23, 2023 01:45 13m 40s gpetiot:fun-param
October 23, 2023 01:45 13m 40s
Define type function_param and replace Sugar.arg_kind
Build on other platforms #249: Pull request #2466 opened by gpetiot
October 23, 2023 01:45 17m 37s gpetiot:fun-param
October 23, 2023 01:45 17m 37s
Define type 'type_constraint' (#2464)
Build on other platforms #248: Commit 47bfef0 pushed by gpetiot
October 19, 2023 13:15 22m 23s main
October 19, 2023 13:15 22m 23s
Define type 'type_constraint' (#2464)
Build on Linux #248: Commit 47bfef0 pushed by gpetiot
October 19, 2023 13:15 16m 1s main
October 19, 2023 13:15 16m 1s
Define type 'type_constraint' to replace core_type pairs
PR number update #1583: Pull request #2464 opened by gpetiot
October 19, 2023 12:22 15s
October 19, 2023 12:22 15s
Define type 'type_constraint' to replace core_type pairs
Changelog check #2036: Pull request #2464 opened by gpetiot
October 19, 2023 12:22 16s gpetiot:type-constraint
October 19, 2023 12:22 16s
Define type 'type_constraint' to replace core_type pairs
Build on other platforms #247: Pull request #2464 opened by gpetiot
October 19, 2023 12:22 23m 28s gpetiot:type-constraint
October 19, 2023 12:22 23m 28s
Define type 'type_constraint' to replace core_type pairs
Build on Linux #247: Pull request #2464 opened by gpetiot
October 19, 2023 12:22 15m 35s gpetiot:type-constraint
October 19, 2023 12:22 15m 35s
Define type 'type_constraint' to replace core_type pairs
Changelog check #2037: Pull request #2464 labeled by gpetiot
October 19, 2023 12:22 18s gpetiot:type-constraint
October 19, 2023 12:22 18s
Keep the location of 'in' keywords in local bindings
Build on Linux #246: Pull request #2242 synchronize by gpetiot
October 16, 2023 03:41 5m 13s EmileTrotignon:disable_local_let
October 16, 2023 03:41 5m 13s
Keep the location of 'in' keywords in local bindings
Build on other platforms #246: Pull request #2242 synchronize by gpetiot
October 16, 2023 03:41 15m 37s EmileTrotignon:disable_local_let
October 16, 2023 03:41 15m 37s
Keep the location of 'in' keywords in local bindings
PR number update #1582: Pull request #2242 synchronize by gpetiot
October 16, 2023 03:41 14s
October 16, 2023 03:41 14s
ProTip! You can narrow down the results and go further in time using created:<2023-10-16 or the other filters available.