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
13 workflow run results
13 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor handling of comments Build on other platforms #256: Pull request #2371 synchronize by Julow
November 2, 2023 15:09 15m 20s Julow:cmts-factor
Julow:cmts-factor
November 2, 2023 15:09 15m 20s
Fix bug multiline comment in cinaps Build on other platforms #255: Pull request #2469 opened by tdelvecchio-jsc
November 2, 2023 14:35 13m 15s tdelvecchio-jsc:fix-bug-multiline-comment-in-cinaps
tdelvecchio-jsc:fix-bug-multiline-comment-in-cinaps
November 2, 2023 14:35 13m 15s
WIP: experiment with line directives Build on other platforms #254: Pull request #2426 synchronize by gpetiot
October 31, 2023 02:32 22m 45s gpetiot:line-directives
gpetiot:line-directives
October 31, 2023 02:32 22m 45s
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