Skip to content

Actions: janestreet/ocamlformat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
777 workflow runs
777 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for raw identifiers (plus some stuff) Build on Linux #234: Pull request #88 synchronize by ccasin
November 5, 2024 19:23 3m 52s ccasin:raw-identifiers
ccasin:raw-identifiers
November 5, 2024 19:23 3m 52s
Add support for raw identifiers (plus some stuff) Build on other platforms #234: Pull request #88 synchronize by ccasin
November 5, 2024 19:22 6m 0s ccasin:raw-identifiers
ccasin:raw-identifiers
November 5, 2024 19:22 6m 0s
Add support for raw identifiers (plus some stuff) PR number update #342: Pull request #88 synchronize by ccasin
November 5, 2024 19:22 12s
November 5, 2024 19:22 12s
Add support for raw identifiers (plus some stuff) PR number update #341: Pull request #88 synchronize by ccasin
November 5, 2024 19:19 12s
November 5, 2024 19:19 12s
Fix formatting of attributes on long lines (#86) Build on Linux #233: Commit e40d7f4 pushed by dvulakh
November 5, 2024 16:59 8m 13s jane
jane
November 5, 2024 16:59 8m 13s
Fix formatting of attributes on long lines (#86) Build on other platforms #233: Commit e40d7f4 pushed by dvulakh
November 5, 2024 16:59 5m 37s jane
jane
November 5, 2024 16:59 5m 37s
Make more compatible with bleeding-edge-with-extensions & remove wind… Build on other platforms #232: Commit b3617c6 pushed by ncik-roberts
November 1, 2024 13:55 8m 37s jane
jane
November 1, 2024 13:55 8m 37s
Make more compatible with bleeding-edge-with-extensions & remove wind… Build on Linux #232: Commit b3617c6 pushed by ncik-roberts
November 1, 2024 13:55 14m 0s jane
jane
November 1, 2024 13:55 14m 0s
Make more compatible with bleeding-edge-with-extensions & remove windows CI Build on Linux #231: Pull request #87 synchronize by ncik-roberts
October 31, 2024 21:33 8m 22s make-more-compatible-with-bleeding-edge
make-more-compatible-with-bleeding-edge
October 31, 2024 21:33 8m 22s
Make more compatible with bleeding-edge-with-extensions & remove windows CI Build on other platforms #231: Pull request #87 synchronize by ncik-roberts
October 31, 2024 21:33 5m 28s make-more-compatible-with-bleeding-edge
make-more-compatible-with-bleeding-edge
October 31, 2024 21:33 5m 28s
Make more compatible with bleeding-edge-with-extensions & remove windows CI PR number update #340: Pull request #87 synchronize by ncik-roberts
October 31, 2024 21:33 12s
October 31, 2024 21:33 12s
Make more compatible with bleeding-edge-with-extensions & remove windows CI Build on Linux #230: Pull request #87 synchronize by ncik-roberts
October 31, 2024 21:32 7m 51s make-more-compatible-with-bleeding-edge
make-more-compatible-with-bleeding-edge
October 31, 2024 21:32 7m 51s
Make more compatible with bleeding-edge-with-extensions & remove windows CI Build on other platforms #230: Pull request #87 synchronize by ncik-roberts
October 31, 2024 21:32 8m 50s make-more-compatible-with-bleeding-edge
make-more-compatible-with-bleeding-edge
October 31, 2024 21:32 8m 50s
Make more compatible with bleeding-edge-with-extensions & remove windows CI PR number update #339: Pull request #87 synchronize by ncik-roberts
October 31, 2024 21:32 11s
October 31, 2024 21:32 11s
Add support for raw identifiers (plus some stuff) Build on Linux #229: Pull request #88 synchronize by ccasin
October 31, 2024 21:08 11m 51s ccasin:raw-identifiers
ccasin:raw-identifiers
October 31, 2024 21:08 11m 51s
Add support for raw identifiers (plus some stuff) Build on other platforms #229: Pull request #88 synchronize by ccasin
October 31, 2024 21:08 8m 23s ccasin:raw-identifiers
ccasin:raw-identifiers
October 31, 2024 21:08 8m 23s
Add support for raw identifiers (plus some stuff) PR number update #338: Pull request #88 synchronize by ccasin
October 31, 2024 21:08 14s
October 31, 2024 21:08 14s
Add support for raw identifiers (plus some stuff) PR number update #337: Pull request #88 opened by ccasin
October 31, 2024 21:02 11s
October 31, 2024 21:02 11s
Add support for raw identifiers (plus some stuff) Build on Linux #228: Pull request #88 opened by ccasin
October 31, 2024 21:02 3m 53s ccasin:raw-identifiers
ccasin:raw-identifiers
October 31, 2024 21:02 3m 53s
Add support for raw identifiers (plus some stuff) Build on other platforms #228: Pull request #88 opened by ccasin
October 31, 2024 21:02 7m 21s ccasin:raw-identifiers
ccasin:raw-identifiers
October 31, 2024 21:02 7m 21s
Make more compatible with bleeding-edge-with-extensions & remove windows CI Build on Linux #227: Pull request #87 synchronize by ncik-roberts
October 31, 2024 20:04 8m 8s make-more-compatible-with-bleeding-edge
make-more-compatible-with-bleeding-edge
October 31, 2024 20:04 8m 8s
Make more compatible with bleeding-edge-with-extensions & remove windows CI Build on other platforms #227: Pull request #87 synchronize by ncik-roberts
October 31, 2024 20:04 8m 10s make-more-compatible-with-bleeding-edge
make-more-compatible-with-bleeding-edge
October 31, 2024 20:04 8m 10s
Make more compatible with bleeding-edge-with-extensions & remove windows CI PR number update #336: Pull request #87 synchronize by ncik-roberts
October 31, 2024 20:04 12s
October 31, 2024 20:04 12s
Make more compatible with bleeding-edge-with-extensions & remove windows CI Build on Linux #226: Pull request #87 synchronize by ncik-roberts
October 31, 2024 20:04 8m 2s make-more-compatible-with-bleeding-edge
make-more-compatible-with-bleeding-edge
October 31, 2024 20:04 8m 2s
Make more compatible with bleeding-edge-with-extensions & remove windows CI Build on other platforms #226: Pull request #87 synchronize by ncik-roberts
October 31, 2024 20:04 9m 15s make-more-compatible-with-bleeding-edge
make-more-compatible-with-bleeding-edge
October 31, 2024 20:04 9m 15s