Skip to content

Actions: ocaml/odoc

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Standalone markdown support Check Changelog #888: Pull request #1234 synchronize by jonludlam
November 12, 2024 16:05 29s jonludlam:markdown
jonludlam:markdown
November 12, 2024 16:05 29s
Voodoo fixes following the change in layout Build #2538: Pull request #1241 synchronize by jonludlam
November 12, 2024 15:41 5m 41s jonludlam:voodoo-fix
jonludlam:voodoo-fix
November 12, 2024 15:41 5m 41s
Voodoo fixes following the change in layout Check Changelog #887: Pull request #1241 synchronize by jonludlam
November 12, 2024 15:41 23s jonludlam:voodoo-fix
jonludlam:voodoo-fix
November 12, 2024 15:41 23s
Implicitly ended tags. Check Changelog #886: Pull request #1239 synchronize by panglesd
November 12, 2024 14:38 20s panglesd:scoped-tags
panglesd:scoped-tags
November 12, 2024 14:38 20s
Implicitly ended tags. Build #2537: Pull request #1239 synchronize by panglesd
November 12, 2024 14:38 4m 52s panglesd:scoped-tags
panglesd:scoped-tags
November 12, 2024 14:38 4m 52s
Use a tag to declare the order of children Check Changelog #885: Pull request #1243 synchronize by panglesd
November 12, 2024 12:53 13s panglesd:frontmatter-tags
panglesd:frontmatter-tags
November 12, 2024 12:53 13s
Use a tag to declare the order of children Build #2536: Pull request #1243 synchronize by panglesd
November 12, 2024 12:53 4m 46s panglesd:frontmatter-tags
panglesd:frontmatter-tags
November 12, 2024 12:53 4m 46s
Use a tag to declare the order of children Check Changelog #884: Pull request #1243 synchronize by panglesd
November 12, 2024 12:38 18s panglesd:frontmatter-tags
panglesd:frontmatter-tags
November 12, 2024 12:38 18s
Use a tag to declare the order of children Build #2535: Pull request #1243 synchronize by panglesd
November 12, 2024 12:38 4m 53s panglesd:frontmatter-tags
panglesd:frontmatter-tags
November 12, 2024 12:38 4m 53s
Use a tag to declare the order of children Build #2534: Pull request #1243 synchronize by panglesd
November 12, 2024 12:24 5m 1s panglesd:frontmatter-tags
panglesd:frontmatter-tags
November 12, 2024 12:24 5m 1s
Use a tag to declare the order of children Check Changelog #883: Pull request #1243 synchronize by panglesd
November 12, 2024 12:24 17s panglesd:frontmatter-tags
panglesd:frontmatter-tags
November 12, 2024 12:24 17s
Remove core types and exceptions from identifiers Check Changelog #882: Pull request #1242 synchronize by panglesd
November 12, 2024 12:19 17s panglesd:fix-url
panglesd:fix-url
November 12, 2024 12:19 17s
Remove core types and exceptions from identifiers Build #2533: Pull request #1242 synchronize by panglesd
November 12, 2024 12:19 5m 0s panglesd:fix-url
panglesd:fix-url
November 12, 2024 12:19 5m 0s
github_actions in /. - Update #915514839 Dependabot Updates #1: by dependabot bot
November 12, 2024 08:50 39s
November 12, 2024 08:50 39s
Update setup-ocaml to v3, add disabled Windows CI (#1153) Build #2532: Commit 2903e49 pushed by panglesd
November 12, 2024 08:50 9m 34s master
master
November 12, 2024 08:50 9m 34s
Update ocaml/setup-ocaml to v3 Build #2531: Pull request #1153 synchronize by panglesd
November 12, 2024 08:37 5m 6s smorimoto:setup-ocaml-v3
smorimoto:setup-ocaml-v3
November 12, 2024 08:37 5m 6s
Update ocaml/setup-ocaml to v3 Check Changelog #881: Pull request #1153 synchronize by panglesd
November 12, 2024 08:37 15s smorimoto:setup-ocaml-v3
smorimoto:setup-ocaml-v3
November 12, 2024 08:37 15s
Remove core types and exceptions from identifiers Check Changelog #880: Pull request #1242 labeled by panglesd
November 12, 2024 07:50 15s panglesd:fix-url
panglesd:fix-url
November 12, 2024 07:50 15s
Remove core types and exceptions from identifiers Check Changelog #879: Pull request #1242 opened by panglesd
November 12, 2024 07:48 13s panglesd:fix-url
panglesd:fix-url
November 12, 2024 07:48 13s
Remove core types and exceptions from identifiers Build #2530: Pull request #1242 opened by panglesd
November 12, 2024 07:48 6m 7s panglesd:fix-url
panglesd:fix-url
November 12, 2024 07:48 6m 7s
Url of identifier: fix docstring Build #2529: Commit 19b91e7 pushed by jonludlam
November 11, 2024 16:53 6m 17s master
master
November 11, 2024 16:53 6m 17s
Voodoo fixes following the change in layout Build #2528: Pull request #1241 synchronize by jonludlam
November 11, 2024 16:17 6m 10s jonludlam:voodoo-fix
jonludlam:voodoo-fix
November 11, 2024 16:17 6m 10s
Voodoo fixes following the change in layout Check Changelog #878: Pull request #1241 synchronize by jonludlam
November 11, 2024 16:17 15s jonludlam:voodoo-fix
jonludlam:voodoo-fix
November 11, 2024 16:17 15s
Driver doc: more review comments Build #2527: Commit 8c4597b pushed by jonludlam
November 11, 2024 15:37 6m 20s master
master
November 11, 2024 15:37 6m 20s
Driver: package and library arguments Check Changelog #877: Pull request #1229 synchronize by jonludlam
November 11, 2024 15:33 14s jonludlam:driver-document-packages
jonludlam:driver-document-packages
November 11, 2024 15:33 14s