Skip to content

Actions: ocaml/odoc

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docs v3 Build #2757: Pull request #1281 synchronize by jonludlam
January 21, 2025 15:20 5m 46s jonludlam:docs-v3
jonludlam:docs-v3
January 21, 2025 15:20 5m 46s
Fix benchmark build? Build #2756: Pull request #1283 opened by jonludlam
January 21, 2025 15:20 5m 17s jonludlam:fix-bench
jonludlam:fix-bench
January 21, 2025 15:20 5m 17s
Fix benchmark build? Check Changelog #1085: Pull request #1283 opened by jonludlam
January 21, 2025 15:20 12s jonludlam:fix-bench
jonludlam:fix-bench
January 21, 2025 15:20 12s
Docs v3 Check Changelog #1084: Pull request #1281 labeled by jonludlam
January 21, 2025 12:34 14s jonludlam:docs-v3
jonludlam:docs-v3
January 21, 2025 12:34 14s
Docs v3 Build #2755: Pull request #1281 synchronize by jonludlam
January 21, 2025 12:34 5m 22s jonludlam:docs-v3
jonludlam:docs-v3
January 21, 2025 12:34 5m 22s
Docs v3 Check Changelog #1083: Pull request #1281 synchronize by jonludlam
January 21, 2025 12:34 13s jonludlam:docs-v3
jonludlam:docs-v3
January 21, 2025 12:34 13s
Driver: by default, use a reasonable number of domains Build #2754: Commit d2a16c4 pushed by jonludlam
January 21, 2025 12:27 5m 45s master
master
January 21, 2025 12:27 5m 45s
Driver: by default, use a reasonable number of domains Check Changelog #1082: Pull request #1282 opened by panglesd
January 21, 2025 10:38 20s panglesd:job_numbers
panglesd:job_numbers
January 21, 2025 10:38 20s
Driver: by default, use a reasonable number of domains Build #2753: Pull request #1282 opened by panglesd
January 21, 2025 10:38 5m 33s panglesd:job_numbers
panglesd:job_numbers
January 21, 2025 10:38 5m 33s
Docs v3 Check Changelog #1081: Pull request #1281 opened by jonludlam
January 20, 2025 16:35 14s jonludlam:docs-v3
jonludlam:docs-v3
January 20, 2025 16:35 14s
Docs v3 Build #2752: Pull request #1281 opened by jonludlam
January 20, 2025 16:35 4m 55s jonludlam:docs-v3
jonludlam:docs-v3
January 20, 2025 16:35 4m 55s
github_actions in /. - Update #950573242 Dependabot Updates #11: by dependabot bot
January 20, 2025 13:28 36s master
master
January 20, 2025 13:28 36s
Driver: Rename odoc_unit types and fiddle with Landing_pages Build #2751: Commit 49837d8 pushed by jonludlam
January 17, 2025 23:10 5m 27s master
master
January 17, 2025 23:10 5m 27s
Driver: allow overriding main package index Check Changelog #1080: Pull request #1280 labeled by jonludlam
January 17, 2025 23:10 12s jonludlam:index-override
jonludlam:index-override
January 17, 2025 23:10 12s
loader: Fix compatibility with 4.02 Build #2750: Commit 1a202d0 pushed by jonludlam
January 17, 2025 23:09 5m 30s master
master
January 17, 2025 23:09 5m 30s
Driver: allow overriding main package index Build #2749: Pull request #1280 synchronize by jonludlam
January 17, 2025 17:06 6m 3s jonludlam:index-override
jonludlam:index-override
January 17, 2025 17:06 6m 3s
Driver: allow overriding main package index Check Changelog #1079: Pull request #1280 synchronize by jonludlam
January 17, 2025 17:06 19s jonludlam:index-override
jonludlam:index-override
January 17, 2025 17:06 19s
Slightly improve home_breadcrumb function Build #2748: Commit da1447f pushed by jonludlam
January 17, 2025 16:12 5m 17s master
master
January 17, 2025 16:12 5m 17s
Driver: allow overriding main package index Build #2747: Pull request #1280 opened by jonludlam
January 17, 2025 16:10 6m 41s jonludlam:index-override
jonludlam:index-override
January 17, 2025 16:10 6m 41s
Driver: allow overriding main package index Check Changelog #1078: Pull request #1280 opened by jonludlam
January 17, 2025 16:10 18s jonludlam:index-override
jonludlam:index-override
January 17, 2025 16:10 18s
Fix backward home-breadcrumb logic Check Changelog #1077: Pull request #1279 labeled by jonludlam
January 17, 2025 11:49 12s jonludlam:fix-home-breadcrumb
jonludlam:fix-home-breadcrumb
January 17, 2025 11:49 12s
Fix backward home-breadcrumb logic Build #2746: Pull request #1279 synchronize by jonludlam
January 17, 2025 11:49 5m 47s jonludlam:fix-home-breadcrumb
jonludlam:fix-home-breadcrumb
January 17, 2025 11:49 5m 47s
Fix backward home-breadcrumb logic Check Changelog #1076: Pull request #1279 synchronize by jonludlam
January 17, 2025 11:49 11s jonludlam:fix-home-breadcrumb
jonludlam:fix-home-breadcrumb
January 17, 2025 11:49 11s
Fix backward home-breadcrumb logic Build #2745: Pull request #1279 opened by jonludlam
January 17, 2025 11:43 5m 27s jonludlam:fix-home-breadcrumb
jonludlam:fix-home-breadcrumb
January 17, 2025 11:43 5m 27s
Fix backward home-breadcrumb logic Check Changelog #1075: Pull request #1279 opened by jonludlam
January 17, 2025 11:43 16s jonludlam:fix-home-breadcrumb
jonludlam:fix-home-breadcrumb
January 17, 2025 11:43 16s