Skip to content

Actions: ocaml/odoc

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
1,122 workflow runs
1,122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update CHANGES.md Build #2769: Commit 19a5fe5 pushed by jonludlam
January 23, 2025 10:58 5m 31s v3.0
v3.0
January 23, 2025 10:58 5m 31s
Fixes following review Build #2768: Commit e9ede95 pushed by jonludlam
January 23, 2025 10:52 5m 37s v3.0
v3.0
January 23, 2025 10:52 5m 37s
Note about emulating context Build #2767: Commit 405b59e pushed by jonludlam
January 23, 2025 10:51 4m 43s v3.0
v3.0
January 23, 2025 10:51 4m 43s
Fixes following review Build #2766: Commit e9ede95 pushed by jonludlam
January 22, 2025 22:01 5m 22s master
master
January 22, 2025 22:01 5m 22s
Editorialize the changelog for Odoc 3.0 Build #2765: Commit a1e686b pushed by jonludlam
January 22, 2025 22:01 6m 3s master
master
January 22, 2025 22:01 6m 3s
Editorialize the changelog for Odoc 3.0 Build #2764: Pull request #1285 opened by Julow
January 22, 2025 17:07 7m 25s Julow:changelog-300
Julow:changelog-300
January 22, 2025 17:07 7m 25s
Simplified search index Build #2763: Pull request #1284 synchronize by jonludlam
January 22, 2025 14:19 5m 22s jonludlam:simplified-search-index
jonludlam:simplified-search-index
January 22, 2025 14:19 5m 22s
Simplified search index Build #2762: Pull request #1284 synchronize by jonludlam
January 22, 2025 13:57 5m 30s jonludlam:simplified-search-index
jonludlam:simplified-search-index
January 22, 2025 13:57 5m 30s
Simplified search index Build #2761: Pull request #1284 opened by jonludlam
January 22, 2025 11:30 4m 52s jonludlam:simplified-search-index
jonludlam:simplified-search-index
January 22, 2025 11:30 4m 52s
Fix benchmark build? Build #2760: Commit 7e76186 pushed by jonludlam
January 21, 2025 15:54 5m 25s master
master
January 21, 2025 15:54 5m 25s
Fix benchmark build? Build #2759: Pull request #1283 synchronize by jonludlam
January 21, 2025 15:27 5m 49s jonludlam:fix-bench
jonludlam:fix-bench
January 21, 2025 15:27 5m 49s
Update doc/driver/index.mld Build #2758: Commit 9ba4bbf pushed by jonludlam
January 21, 2025 15:21 5m 38s master
master
January 21, 2025 15:21 5m 38s
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
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
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 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 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
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
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
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
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 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