Skip to content

Actions: ocaml-ppx/ocamlformat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,304 workflow runs
2,304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Keep the location of 'in' keywords in local bindings Changelog check #2035: Pull request #2242 synchronize by gpetiot
October 16, 2023 03:41 14s EmileTrotignon:disable_local_let
EmileTrotignon:disable_local_let
October 16, 2023 03:41 14s
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
EmileTrotignon:disable_local_let
October 16, 2023 03:41 15m 37s
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
EmileTrotignon:disable_local_let
October 16, 2023 03:41 5m 13s
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
Keep the location of 'in' keywords in local bindings Changelog check #2034: Pull request #2242 synchronize by gpetiot
October 16, 2023 02:28 15s EmileTrotignon:disable_local_let
EmileTrotignon:disable_local_let
October 16, 2023 02:28 15s
Keep the location of 'in' keywords in local bindings Build on Linux #245: Pull request #2242 synchronize by gpetiot
October 16, 2023 02:28 12m 18s EmileTrotignon:disable_local_let
EmileTrotignon:disable_local_let
October 16, 2023 02:28 12m 18s
Keep the location of 'in' keywords in local bindings Build on other platforms #245: Pull request #2242 synchronize by gpetiot
October 16, 2023 02:28 19m 15s EmileTrotignon:disable_local_let
EmileTrotignon:disable_local_let
October 16, 2023 02:28 19m 15s
Keep the location of 'in' keywords in local bindings PR number update #1581: Pull request #2242 synchronize by gpetiot
October 16, 2023 02:28 13s
October 16, 2023 02:28 13s
Keep the location of 'in' keywords in local bindings Changelog check #2033: Pull request #2242 synchronize by gpetiot
October 16, 2023 02:26 15s EmileTrotignon:disable_local_let
EmileTrotignon:disable_local_let
October 16, 2023 02:26 15s
Keep the location of 'in' keywords in local bindings Build on other platforms #244: Pull request #2242 synchronize by gpetiot
October 16, 2023 02:26 15m 27s EmileTrotignon:disable_local_let
EmileTrotignon:disable_local_let
October 16, 2023 02:26 15m 27s
Keep the location of 'in' keywords in local bindings Build on Linux #244: Pull request #2242 synchronize by gpetiot
October 16, 2023 02:26 12m 13s EmileTrotignon:disable_local_let
EmileTrotignon:disable_local_let
October 16, 2023 02:26 12m 13s
Keep the location of 'in' keywords in local bindings PR number update #1580: Pull request #2242 synchronize by gpetiot
October 16, 2023 02:26 11s
October 16, 2023 02:26 11s
Keep the location of 'in' keywords in local bindings PR number update #1579: Pull request #2242 synchronize by gpetiot
October 16, 2023 02:25 13s
October 16, 2023 02:25 13s
Keep the location of 'in' keywords in local bindings Build on Linux #243: Pull request #2242 synchronize by EmileTrotignon
October 11, 2023 12:24 24m 23s EmileTrotignon:disable_local_let
EmileTrotignon:disable_local_let
October 11, 2023 12:24 24m 23s
Keep the location of 'in' keywords in local bindings Build on other platforms #243: Pull request #2242 synchronize by EmileTrotignon
October 11, 2023 12:24 23m 23s EmileTrotignon:disable_local_let
EmileTrotignon:disable_local_let
October 11, 2023 12:24 23m 23s
Keep the location of 'in' keywords in local bindings Changelog check #2032: Pull request #2242 synchronize by EmileTrotignon
October 11, 2023 12:24 4m 25s EmileTrotignon:disable_local_let
EmileTrotignon:disable_local_let
October 11, 2023 12:24 4m 25s
Keep the location of 'in' keywords in local bindings PR number update #1578: Pull request #2242 synchronize by EmileTrotignon
October 11, 2023 12:24 4m 58s
October 11, 2023 12:24 4m 58s
Reduce the indentation of (polytype) type constraints (#2437) Build on Linux #242: Commit b178884 pushed by gpetiot
October 11, 2023 08:42 14m 7s main
main
October 11, 2023 08:42 14m 7s
Reduce the indentation of (polytype) type constraints (#2437) Build on other platforms #242: Commit b178884 pushed by gpetiot
October 11, 2023 08:42 18m 37s main
main
October 11, 2023 08:42 18m 37s
Define a diff-friendly profile Build on other platforms #241: Pull request #2020 synchronize by gpetiot
October 11, 2023 04:02 17m 5s gpetiot:diff-friendly
gpetiot:diff-friendly
October 11, 2023 04:02 17m 5s
Define a diff-friendly profile Changelog check #2031: Pull request #2020 synchronize by gpetiot
October 11, 2023 04:02 15s gpetiot:diff-friendly
gpetiot:diff-friendly
October 11, 2023 04:02 15s
Define a diff-friendly profile Build on Linux #241: Pull request #2020 synchronize by gpetiot
October 11, 2023 04:02 5m 41s gpetiot:diff-friendly
gpetiot:diff-friendly
October 11, 2023 04:02 5m 41s
Define a diff-friendly profile PR number update #1577: Pull request #2020 synchronize by gpetiot
October 11, 2023 04:02 14s
October 11, 2023 04:02 14s
Reduce the indentation of (polytype) type constraints Build on Linux #240: Pull request #2437 synchronize by gpetiot
October 10, 2023 23:38 15m 16s gpetiot:fix-indent-polytypes
gpetiot:fix-indent-polytypes
October 10, 2023 23:38 15m 16s
Reduce the indentation of (polytype) type constraints Changelog check #2030: Pull request #2437 synchronize by gpetiot
October 10, 2023 23:38 16s gpetiot:fix-indent-polytypes
gpetiot:fix-indent-polytypes
October 10, 2023 23:38 16s
ProTip! You can narrow down the results and go further in time using created:<2023-10-10 or the other filters available.