Skip to content

Actions: ocaml/odoc

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 Check Changelog #1094: Pull request #1285 labeled by Julow
January 22, 2025 17:07 13s Julow:changelog-300
Julow:changelog-300
January 22, 2025 17:07 13s
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
Editorialize the changelog for Odoc 3.0 Check Changelog #1093: Pull request #1285 opened by Julow
January 22, 2025 17:07 16s Julow:changelog-300
Julow:changelog-300
January 22, 2025 17:07 16s
Simplified search index Check Changelog #1092: Pull request #1284 labeled by jonludlam
January 22, 2025 14:21 12s jonludlam:simplified-search-index
jonludlam:simplified-search-index
January 22, 2025 14:21 12s
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 Check Changelog #1091: Pull request #1284 synchronize by jonludlam
January 22, 2025 14:19 12s jonludlam:simplified-search-index
jonludlam:simplified-search-index
January 22, 2025 14:19 12s
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 Check Changelog #1090: Pull request #1284 synchronize by jonludlam
January 22, 2025 13:57 15s jonludlam:simplified-search-index
jonludlam:simplified-search-index
January 22, 2025 13:57 15s
Simplified search index Check Changelog #1089: Pull request #1284 opened by jonludlam
January 22, 2025 11:30 12s jonludlam:simplified-search-index
jonludlam:simplified-search-index
January 22, 2025 11:30 12s
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? Check Changelog #1088: Pull request #1283 labeled by jonludlam
January 21, 2025 15:35 14s jonludlam:fix-bench
jonludlam:fix-bench
January 21, 2025 15:35 14s
Fix benchmark build? Check Changelog #1087: Pull request #1283 synchronize by jonludlam
January 21, 2025 15:27 12s jonludlam:fix-bench
jonludlam:fix-bench
January 21, 2025 15:27 12s
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 Check Changelog #1086: Pull request #1281 synchronize by jonludlam
January 21, 2025 15:20 18s jonludlam:docs-v3
jonludlam:docs-v3
January 21, 2025 15:20 18s
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