Skip to content

Actions: ocaml-ppx/ocamlformat

Actions

Build on other platforms

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-others.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 other platforms #253: Commit 4a213e2 pushed by gpetiot
October 26, 2023 23:58 12m 50s main
main
October 26, 2023 23:58 12m 50s
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
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
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 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' 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
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 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 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 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
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
Reduce the indentation of (polytype) type constraints Build on other platforms #240: Pull request #2437 synchronize by gpetiot
October 10, 2023 23:38 15m 13s gpetiot:fix-indent-polytypes
gpetiot:fix-indent-polytypes
October 10, 2023 23:38 15m 13s
Fix cinaps comment formatting to not change multiline string contents… Build on other platforms #239: Commit 12efce8 pushed by Julow
October 10, 2023 15:48 17m 4s main
main
October 10, 2023 15:48 17m 4s