Skip to content

Actions: ocaml-ppx/ocamlformat

Actions

Build on Linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-linux.yml
15 workflow run results
15 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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
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
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 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 '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 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
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 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 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 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
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
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
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
Fix cinaps comment formatting to not change multiline string contents… Build on Linux #239: Commit 12efce8 pushed by Julow
October 10, 2023 15:48 16m 14s main
main
October 10, 2023 15:48 16m 14s