Skip to content

Actions: ocaml-ppx/ocamlformat

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

5.3 support: Versioned keywords Changelog check #2539: Pull request #2623 synchronize by Julow
November 20, 2024 16:32 17s Julow:53-versioned-keywords
Julow:53-versioned-keywords
November 20, 2024 16:32 17s
5.3 support: Versioned keywords PR number update #2048: Pull request #2623 synchronize by Julow
November 20, 2024 16:32 17s
November 20, 2024 16:32 17s
5.3 support: Versioned keywords Build on other platforms #801: Pull request #2623 synchronize by Julow
November 20, 2024 15:42 7m 37s Julow:53-versioned-keywords
Julow:53-versioned-keywords
November 20, 2024 15:42 7m 37s
5.3 support: Versioned keywords Changelog check #2538: Pull request #2623 synchronize by Julow
November 20, 2024 15:42 17s Julow:53-versioned-keywords
Julow:53-versioned-keywords
November 20, 2024 15:42 17s
5.3 support: Versioned keywords Build on Linux #802: Pull request #2623 synchronize by Julow
November 20, 2024 15:42 10m 25s Julow:53-versioned-keywords
Julow:53-versioned-keywords
November 20, 2024 15:42 10m 25s
5.3 support: Versioned keywords PR number update #2047: Pull request #2623 synchronize by Julow
November 20, 2024 15:42 11s
November 20, 2024 15:42 11s
5.3 support: Versioned keywords Changelog check #2537: Pull request #2623 opened by Julow
November 20, 2024 15:38 16s Julow:53-versioned-keywords
Julow:53-versioned-keywords
November 20, 2024 15:38 16s
5.3 support: Versioned keywords Build on Linux #801: Pull request #2623 opened by Julow
November 20, 2024 15:38 13m 5s Julow:53-versioned-keywords
Julow:53-versioned-keywords
November 20, 2024 15:38 13m 5s
5.3 support: Versioned keywords Build on other platforms #800: Pull request #2623 opened by Julow
November 20, 2024 15:38 8m 5s Julow:53-versioned-keywords
Julow:53-versioned-keywords
November 20, 2024 15:38 8m 5s
5.3 support: Versioned keywords PR number update #2046: Pull request #2623 opened by Julow
November 20, 2024 15:38 12s
November 20, 2024 15:38 12s
5.3 support: Backport utf8 identifiers (#2622) Build on other platforms #799: Commit cdb0099 pushed by Julow
November 20, 2024 14:13 7m 34s main
main
November 20, 2024 14:13 7m 34s
5.3 support: Backport utf8 identifiers (#2622) Build on Linux #800: Commit cdb0099 pushed by Julow
November 20, 2024 14:13 4m 12s main
main
November 20, 2024 14:13 4m 12s
5.3 support: Backport utf8 identifiers Build on other platforms #798: Pull request #2622 synchronize by Julow
November 20, 2024 13:56 7m 44s Julow:53-utf8-idents
Julow:53-utf8-idents
November 20, 2024 13:56 7m 44s
5.3 support: Backport utf8 identifiers Changelog check #2536: Pull request #2622 synchronize by Julow
November 20, 2024 13:56 14s Julow:53-utf8-idents
Julow:53-utf8-idents
November 20, 2024 13:56 14s
5.3 support: Backport utf8 identifiers Build on Linux #799: Pull request #2622 synchronize by Julow
November 20, 2024 13:56 13m 3s Julow:53-utf8-idents
Julow:53-utf8-idents
November 20, 2024 13:56 13m 3s
5.3 support: Backport utf8 identifiers PR number update #2045: Pull request #2622 synchronize by Julow
November 20, 2024 13:56 18s
November 20, 2024 13:56 18s
5.3 support: Backport utf8 identifiers Changelog check #2535: Pull request #2622 synchronize by Julow
November 20, 2024 10:35 12s Julow:53-utf8-idents
Julow:53-utf8-idents
November 20, 2024 10:35 12s
5.3 support: Backport utf8 identifiers Build on other platforms #797: Pull request #2622 synchronize by Julow
November 20, 2024 10:35 7m 37s Julow:53-utf8-idents
Julow:53-utf8-idents
November 20, 2024 10:35 7m 37s
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