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
566 workflow runs
566 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Backport 5.2 compilerlibs changes Build on other platforms #391: Pull request #2510 synchronize by Julow
January 19, 2024 16:33 9m 22s gpetiot:ocaml-5.2
gpetiot:ocaml-5.2
January 19, 2024 16:33 9m 22s
Backport 5.2 compilerlibs changes Build on other platforms #390: Pull request #2510 synchronize by Julow
January 19, 2024 16:26 9m 55s gpetiot:ocaml-5.2
gpetiot:ocaml-5.2
January 19, 2024 16:26 9m 55s
Backport 5.2 compilerlibs changes Build on other platforms #389: Pull request #2510 synchronize by gpetiot
January 16, 2024 17:56 8m 42s gpetiot:ocaml-5.2
gpetiot:ocaml-5.2
January 16, 2024 17:56 8m 42s
Backport 5.2 compilerlibs changes Build on other platforms #388: Pull request #2510 synchronize by gpetiot
January 16, 2024 17:30 9m 42s gpetiot:ocaml-5.2
gpetiot:ocaml-5.2
January 16, 2024 17:30 9m 42s
Improvements to ocp-indent-compat and the Janestreet profile (#2314) Build on other platforms #387: Commit cb9b356 pushed by Julow
January 16, 2024 15:21 15m 15s main
main
January 16, 2024 15:21 15m 15s
Improvements to ocp-indent-compat and the Janestreet profile Build on other platforms #386: Pull request #2314 synchronize by Julow
January 16, 2024 15:21 8m 13s Julow:js-ocp-indent
Julow:js-ocp-indent
January 16, 2024 15:21 8m 13s
Improvements to ocp-indent-compat and the Janestreet profile Build on other platforms #385: Pull request #2314 synchronize by Julow
January 16, 2024 15:08 10m 50s Julow:js-ocp-indent
Julow:js-ocp-indent
January 16, 2024 15:08 10m 50s
Improvements to ocp-indent-compat and the Janestreet profile Build on other platforms #384: Pull request #2314 synchronize by Julow
January 16, 2024 14:53 9m 12s Julow:js-ocp-indent
Julow:js-ocp-indent
January 16, 2024 14:53 9m 12s
Avoid alignment in if-then-else (#2511) Build on other platforms #383: Commit aa2ec82 pushed by Julow
January 16, 2024 14:51 9m 30s main
main
January 16, 2024 14:51 9m 30s
Avoid alignment in if-then-else Build on other platforms #382: Pull request #2511 synchronize by Julow
January 16, 2024 14:38 10m 40s Julow:ite-box-fixes
Julow:ite-box-fixes
January 16, 2024 14:38 10m 40s
Avoid alignment in if-then-else Build on other platforms #381: Pull request #2511 opened by Julow
January 16, 2024 14:36 15m 5s Julow:ite-box-fixes
Julow:ite-box-fixes
January 16, 2024 14:36 15m 5s
Fix unwanted alignment after comment (#2507) Build on other platforms #380: Commit 8418244 pushed by Julow
January 16, 2024 14:11 10m 59s main
main
January 16, 2024 14:11 10m 59s
Fix unwanted alignment after comment Build on other platforms #379: Pull request #2507 synchronize by Julow
January 16, 2024 13:57 7m 55s Julow:ite-with-comment
Julow:ite-with-comment
January 16, 2024 13:57 7m 55s
Fix unwanted alignment after comment Build on other platforms #378: Pull request #2507 synchronize by gpetiot
January 16, 2024 09:53 8m 12s Julow:ite-with-comment
Julow:ite-with-comment
January 16, 2024 09:53 8m 12s
Fix unwanted alignment after comment Build on other platforms #377: Pull request #2507 synchronize by gpetiot
January 16, 2024 09:42 8m 19s Julow:ite-with-comment
Julow:ite-with-comment
January 16, 2024 09:42 8m 19s
Fix unwanted alignment after comment Build on other platforms #376: Pull request #2507 synchronize by gpetiot
January 16, 2024 09:34 15m 32s Julow:ite-with-comment
Julow:ite-with-comment
January 16, 2024 09:34 15m 32s
Fix unwanted alignment after comment Build on other platforms #375: Pull request #2507 synchronize by gpetiot
January 16, 2024 09:31 8m 58s Julow:ite-with-comment
Julow:ite-with-comment
January 16, 2024 09:31 8m 58s
Backport 5.2 compilerlibs changes Build on other platforms #374: Pull request #2510 opened by gpetiot
January 13, 2024 12:26 8m 40s gpetiot:ocaml-5.2
gpetiot:ocaml-5.2
January 13, 2024 12:26 8m 40s
Fix unwanted alignment after comment Build on other platforms #373: Pull request #2507 synchronize by Julow
January 11, 2024 15:44 9m 42s Julow:ite-with-comment
Julow:ite-with-comment
January 11, 2024 15:44 9m 42s
Fix unwanted alignment after comment Build on other platforms #372: Pull request #2507 opened by Julow
January 11, 2024 15:24 10m 32s Julow:ite-with-comment
Julow:ite-with-comment
January 11, 2024 15:24 10m 32s
Improvements to ocp-indent-compat and the Janestreet profile Build on other platforms #371: Pull request #2314 synchronize by Julow
January 10, 2024 10:30 12m 1s Julow:js-ocp-indent
Julow:js-ocp-indent
January 10, 2024 10:30 12m 1s
Fix unstable comment around docked functor arg (#2506) Build on other platforms #370: Commit 9534fe5 pushed by Julow
January 10, 2024 10:23 10m 26s main
main
January 10, 2024 10:23 10m 26s
Fix unstable comment around docked functor arg Build on other platforms #369: Pull request #2506 synchronize by Julow
January 8, 2024 15:12 12m 21s Julow:unstable-functor-docked-arg
Julow:unstable-functor-docked-arg
January 8, 2024 15:12 12m 21s
Fix unstable comment around docked functor arg Build on other platforms #368: Pull request #2506 opened by Julow
January 8, 2024 15:09 10m 7s Julow:unstable-functor-docked-arg
Julow:unstable-functor-docked-arg
January 8, 2024 15:09 10m 7s
Improvements to ocp-indent-compat and the Janestreet profile Build on other platforms #367: Pull request #2314 synchronize by Julow
January 8, 2024 09:49 9m 23s Julow:js-ocp-indent
Julow:js-ocp-indent
January 8, 2024 09:49 9m 23s
ProTip! You can narrow down the results and go further in time using created:<2024-01-08 or the other filters available.