Skip to content

Actions: ocaml-ppx/ocamlformat

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

5.3 support: Backport utf8 identifiers Build on Linux #798: Pull request #2622 synchronize by Julow
November 20, 2024 10:35 9m 43s Julow:53-utf8-idents
Julow:53-utf8-idents
November 20, 2024 10:35 9m 43s
5.3 support: Backport utf8 identifiers PR number update #2044: Pull request #2622 synchronize by Julow
November 20, 2024 10:35 13s
November 20, 2024 10:35 13s
5.3 support: Backport utf8 identifiers Build on other platforms #796: Pull request #2622 synchronize by Julow
November 20, 2024 09:42 7m 17s Julow:53-utf8-idents
Julow:53-utf8-idents
November 20, 2024 09:42 7m 17s
5.3 support: Backport utf8 identifiers Build on Linux #797: Pull request #2622 synchronize by Julow
November 20, 2024 09:42 9m 42s Julow:53-utf8-idents
Julow:53-utf8-idents
November 20, 2024 09:42 9m 42s
5.3 support: Backport utf8 identifiers Changelog check #2534: Pull request #2622 synchronize by Julow
November 20, 2024 09:42 11s Julow:53-utf8-idents
Julow:53-utf8-idents
November 20, 2024 09:42 11s
5.3 support: Backport utf8 identifiers PR number update #2043: Pull request #2622 synchronize by Julow
November 20, 2024 09:42 13s
November 20, 2024 09:42 13s
5.3 support: Backport utf8 identifiers Changelog check #2533: Pull request #2622 opened by Julow
November 20, 2024 09:41 16s Julow:53-utf8-idents
Julow:53-utf8-idents
November 20, 2024 09:41 16s
5.3 support: Backport utf8 identifiers Build on Linux #796: Pull request #2622 opened by Julow
November 20, 2024 09:41 9m 34s Julow:53-utf8-idents
Julow:53-utf8-idents
November 20, 2024 09:41 9m 34s
5.3 support: Backport utf8 identifiers Build on other platforms #795: Pull request #2622 opened by Julow
November 20, 2024 09:41 7m 42s Julow:53-utf8-idents
Julow:53-utf8-idents
November 20, 2024 09:41 7m 42s
5.3 support: Backport utf8 identifiers PR number update #2042: Pull request #2622 opened by Julow
November 20, 2024 09:41 13s
November 20, 2024 09:41 13s
Support 5.2 raw identifiers (#2621) Build on Linux #795: Commit 505ed6e pushed by Julow
November 20, 2024 09:13 4m 26s main
main
November 20, 2024 09:13 4m 26s
Support 5.2 raw identifiers (#2621) Build on other platforms #794: Commit 505ed6e pushed by Julow
November 20, 2024 09:13 7m 29s main
main
November 20, 2024 09:13 7m 29s
Support 5.2 raw identifiers Build on Linux #794: Pull request #2621 synchronize by Julow
November 19, 2024 10:29 9m 56s Julow:52-raw-idents-lexer
Julow:52-raw-idents-lexer
November 19, 2024 10:29 9m 56s
Support 5.2 raw identifiers Changelog check #2532: Pull request #2621 synchronize by Julow
November 19, 2024 10:29 13s Julow:52-raw-idents-lexer
Julow:52-raw-idents-lexer
November 19, 2024 10:29 13s
Support 5.2 raw identifiers Build on other platforms #793: Pull request #2621 synchronize by Julow
November 19, 2024 10:29 7m 40s Julow:52-raw-idents-lexer
Julow:52-raw-idents-lexer
November 19, 2024 10:29 7m 40s
Support 5.2 raw identifiers PR number update #2041: Pull request #2621 synchronize by Julow
November 19, 2024 10:29 15s
November 19, 2024 10:29 15s
Support 5.2 raw identifiers Build on other platforms #792: Pull request #2621 opened by Julow
November 19, 2024 10:28 7m 37s Julow:52-raw-idents-lexer
Julow:52-raw-idents-lexer
November 19, 2024 10:28 7m 37s
Support 5.2 raw identifiers Changelog check #2531: Pull request #2621 opened by Julow
November 19, 2024 10:28 12s Julow:52-raw-idents-lexer
Julow:52-raw-idents-lexer
November 19, 2024 10:28 12s
Support 5.2 raw identifiers Build on Linux #793: Pull request #2621 opened by Julow
November 19, 2024 10:28 12m 21s Julow:52-raw-idents-lexer
Julow:52-raw-idents-lexer
November 19, 2024 10:28 12m 21s
Support 5.2 raw identifiers PR number update #2040: Pull request #2621 opened by Julow
November 19, 2024 10:28 15s
November 19, 2024 10:28 15s
5.2 support: Raw identifiers (by changing the Parsetree) Build on Linux #792: Pull request #2620 synchronize by Julow
November 18, 2024 16:50 7m 6s Julow:52-raw-idents-ast
Julow:52-raw-idents-ast
November 18, 2024 16:50 7m 6s
5.2 support: Raw identifiers (by changing the Parsetree) Build on other platforms #791: Pull request #2620 synchronize by Julow
November 18, 2024 16:50 7m 20s Julow:52-raw-idents-ast
Julow:52-raw-idents-ast
November 18, 2024 16:50 7m 20s
5.2 support: Raw identifiers (by changing the Parsetree) Changelog check #2530: Pull request #2620 synchronize by Julow
November 18, 2024 16:50 11s Julow:52-raw-idents-ast
Julow:52-raw-idents-ast
November 18, 2024 16:50 11s
5.2 support: Raw identifiers (by changing the Parsetree) PR number update #2039: Pull request #2620 synchronize by Julow
November 18, 2024 16:50 12s
November 18, 2024 16:50 12s
5.2 support: Raw identifiers (by changing the Parsetree) Changelog check #2529: Pull request #2620 synchronize by Julow
November 18, 2024 16:42 14s Julow:52-raw-idents-ast
Julow:52-raw-idents-ast
November 18, 2024 16:42 14s