Skip to content

Actions: ocaml-ppx/ocamlformat

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improvements to ocp-indent-compat and the Janestreet profile Changelog check #2089: Pull request #2314 synchronize by Julow
December 4, 2023 14:20 12s Julow:js-ocp-indent
Julow:js-ocp-indent
December 4, 2023 14:20 12s
Improvements to ocp-indent-compat and the Janestreet profile Build on Linux #304: Pull request #2314 synchronize by Julow
December 4, 2023 14:20 8m 30s Julow:js-ocp-indent
Julow:js-ocp-indent
December 4, 2023 14:20 8m 30s
Improvements to ocp-indent-compat and the Janestreet profile Build on other platforms #304: Pull request #2314 synchronize by Julow
December 4, 2023 14:20 11m 57s Julow:js-ocp-indent
Julow:js-ocp-indent
December 4, 2023 14:20 11m 57s
Improvements to ocp-indent-compat and the Janestreet profile PR number update #1624: Pull request #2314 synchronize by Julow
December 4, 2023 14:20 14s
December 4, 2023 14:20 14s
tools/preview_new_release.sh: Signoff commits (#2485) Build on other platforms #303: Commit a7f8da9 pushed by Julow
December 4, 2023 10:39 9m 3s main
main
December 4, 2023 10:39 9m 3s
tools/preview_new_release.sh: Signoff commits (#2485) Build on Linux #303: Commit a7f8da9 pushed by Julow
December 4, 2023 10:39 8m 2s main
main
December 4, 2023 10:39 8m 2s
tools/preview_new_release.sh: Signoff commits Changelog check #2088: Pull request #2485 labeled by Julow
December 4, 2023 10:21 13s Julow:preview-signoff
Julow:preview-signoff
December 4, 2023 10:21 13s
tools/preview_new_release.sh: Signoff commits Changelog check #2087: Pull request #2485 opened by Julow
December 4, 2023 10:20 16s Julow:preview-signoff
Julow:preview-signoff
December 4, 2023 10:20 16s
tools/preview_new_release.sh: Signoff commits Build on other platforms #302: Pull request #2485 opened by Julow
December 4, 2023 10:20 11m 4s Julow:preview-signoff
Julow:preview-signoff
December 4, 2023 10:20 11m 4s
tools/preview_new_release.sh: Signoff commits Build on Linux #302: Pull request #2485 opened by Julow
December 4, 2023 10:20 8m 33s Julow:preview-signoff
Julow:preview-signoff
December 4, 2023 10:20 8m 33s
tools/preview_new_release.sh: Signoff commits PR number update #1623: Pull request #2485 opened by Julow
December 4, 2023 10:20 13s
December 4, 2023 10:20 13s
Improvements to ocp-indent-compat and the Janestreet profile Build on other platforms #301: Pull request #2314 synchronize by Julow
December 4, 2023 10:00 12m 58s Julow:js-ocp-indent
Julow:js-ocp-indent
December 4, 2023 10:00 12m 58s
Improvements to ocp-indent-compat and the Janestreet profile Changelog check #2086: Pull request #2314 synchronize by Julow
December 4, 2023 10:00 19s Julow:js-ocp-indent
Julow:js-ocp-indent
December 4, 2023 10:00 19s
Improvements to ocp-indent-compat and the Janestreet profile Build on Linux #301: Pull request #2314 synchronize by Julow
December 4, 2023 10:00 8m 11s Julow:js-ocp-indent
Julow:js-ocp-indent
December 4, 2023 10:00 8m 11s
Improvements to ocp-indent-compat and the Janestreet profile PR number update #1622: Pull request #2314 synchronize by Julow
December 4, 2023 10:00 16s
December 4, 2023 10:00 16s
Add back --disable-outside-detected-project (#2439) Build on Linux #300: Commit 0636bfe pushed by Julow
November 30, 2023 10:44 9m 0s main
main
November 30, 2023 10:44 9m 0s
Add back --disable-outside-detected-project (#2439) Build on other platforms #300: Commit 0636bfe pushed by Julow
November 30, 2023 10:44 11m 55s main
main
November 30, 2023 10:44 11m 55s
Cleanup enable/disable-outside-detected-project options Changelog check #2085: Pull request #2439 synchronize by Julow
November 30, 2023 10:43 16s gpetiot:on-save-mode
gpetiot:on-save-mode
November 30, 2023 10:43 16s
Cleanup enable/disable-outside-detected-project options Build on Linux #299: Pull request #2439 synchronize by Julow
November 30, 2023 10:43 8m 21s gpetiot:on-save-mode
gpetiot:on-save-mode
November 30, 2023 10:43 8m 21s
Cleanup enable/disable-outside-detected-project options Build on other platforms #299: Pull request #2439 synchronize by Julow
November 30, 2023 10:43 14m 23s gpetiot:on-save-mode
gpetiot:on-save-mode
November 30, 2023 10:43 14m 23s
Cleanup enable/disable-outside-detected-project options PR number update #1621: Pull request #2439 synchronize by Julow
November 30, 2023 10:43 14s
November 30, 2023 10:43 14s
Cleanup enable/disable-outside-detected-project options Build on other platforms #298: Pull request #2439 synchronize by Julow
November 30, 2023 10:40 10m 0s gpetiot:on-save-mode
gpetiot:on-save-mode
November 30, 2023 10:40 10m 0s
Cleanup enable/disable-outside-detected-project options Changelog check #2084: Pull request #2439 synchronize by Julow
November 30, 2023 10:40 14s gpetiot:on-save-mode
gpetiot:on-save-mode
November 30, 2023 10:40 14s
Cleanup enable/disable-outside-detected-project options Build on Linux #298: Pull request #2439 synchronize by Julow
November 30, 2023 10:40 8m 13s gpetiot:on-save-mode
gpetiot:on-save-mode
November 30, 2023 10:40 8m 13s
Cleanup enable/disable-outside-detected-project options PR number update #1620: Pull request #2439 synchronize by Julow
November 30, 2023 10:40 13s
November 30, 2023 10:40 13s
ProTip! You can narrow down the results and go further in time using created:<2023-11-30 or the other filters available.