Skip to content

Actions: ocaml-ppx/ocamlformat

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove unnecessary Sugar.polynewtype (#2467) Build on other platforms #253: Commit 4a213e2 pushed by gpetiot
October 26, 2023 23:58 12m 50s main
main
October 26, 2023 23:58 12m 50s
Remove unnecessary Sugar.polynewtype (#2467) Build on Linux #253: Commit 4a213e2 pushed by gpetiot
October 26, 2023 23:58 13m 18s main
main
October 26, 2023 23:58 13m 18s
Refactor handling of comments Build on other platforms #252: Pull request #2371 synchronize by Julow
October 26, 2023 14:17 13m 33s Julow:cmts-factor
Julow:cmts-factor
October 26, 2023 14:17 13m 33s
Refactor handling of comments Build on Linux #252: Pull request #2371 synchronize by Julow
October 26, 2023 14:17 16m 8s Julow:cmts-factor
Julow:cmts-factor
October 26, 2023 14:17 16m 8s
Refactor handling of comments Changelog check #2042: Pull request #2371 synchronize by Julow
October 26, 2023 14:17 14s Julow:cmts-factor
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
gpetiot:type-constraint
October 19, 2023 12:22 18s