Skip to content

Actions: ocaml/odoc

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix large odoc-nav element in two columns layout Build #2170: Commit 5274b93 pushed by jonludlam
July 10, 2024 14:39 10m 43s master
master
July 10, 2024 14:39 10m 43s
Path-references lookup to pages Build #2169: Pull request #1150 synchronize by Julow
July 10, 2024 14:39 10m 5s Julow:path_references_lookup
Julow:path_references_lookup
July 10, 2024 14:39 10m 5s
Parsing of path-references to pages and modules Build #2168: Pull request #1142 synchronize by Julow
July 10, 2024 14:39 10m 10s Julow:path_references
Julow:path_references
July 10, 2024 14:39 10m 10s
"Global" Sidebar Build #2167: Pull request #1145 synchronize by EmileTrotignon
July 10, 2024 13:49 9m 56s panglesd:sidebar-proto
panglesd:sidebar-proto
July 10, 2024 13:49 9m 56s
add odoc package as a link deps to the driver Build #2166: Pull request #1157 opened by EmileTrotignon
July 10, 2024 13:32 10m 10s EmileTrotignon:driver-deps
EmileTrotignon:driver-deps
July 10, 2024 13:32 10m 10s
"Global" Sidebar Build #2165: Pull request #1145 synchronize by EmileTrotignon
July 10, 2024 12:39 10m 25s panglesd:sidebar-proto
panglesd:sidebar-proto
July 10, 2024 12:39 10m 25s
Try to ensure future-proofness of references to polymorphic variants Build #2164: Commit de54ed2 pushed by jonludlam
July 10, 2024 10:34 10m 19s master
master
July 10, 2024 10:34 10m 19s
"Global" Sidebar Build #2163: Pull request #1145 synchronize by panglesd
July 9, 2024 15:42 10m 20s panglesd:sidebar-proto
panglesd:sidebar-proto
July 9, 2024 15:42 10m 20s
"Global" Sidebar Build #2162: Pull request #1145 synchronize by panglesd
July 9, 2024 15:13 10m 37s panglesd:sidebar-proto
panglesd:sidebar-proto
July 9, 2024 15:13 10m 37s
"Global" Sidebar Build #2161: Pull request #1145 synchronize by panglesd
July 9, 2024 15:04 9m 52s panglesd:sidebar-proto
panglesd:sidebar-proto
July 9, 2024 15:04 9m 52s
"Global" Sidebar Build #2160: Pull request #1145 synchronize by panglesd
July 9, 2024 14:54 10m 10s panglesd:sidebar-proto
panglesd:sidebar-proto
July 9, 2024 14:54 10m 10s
"Global" Sidebar Build #2159: Pull request #1145 synchronize by panglesd
July 9, 2024 14:45 9m 50s panglesd:sidebar-proto
panglesd:sidebar-proto
July 9, 2024 14:45 9m 50s
correcting my error of changing "significand" Build #2158: Commit aa4a0db pushed by panglesd
July 9, 2024 14:43 9m 55s master
master
July 9, 2024 14:43 9m 55s
"Global" Sidebar Build #2157: Pull request #1145 synchronize by panglesd
July 9, 2024 14:36 10m 16s panglesd:sidebar-proto
panglesd:sidebar-proto
July 9, 2024 14:36 10m 16s
"Global" Sidebar Build #2156: Pull request #1145 synchronize by panglesd
July 9, 2024 10:31 9m 53s panglesd:sidebar-proto
panglesd:sidebar-proto
July 9, 2024 10:31 9m 53s
Parsing of path-references to pages and modules Build #2155: Pull request #1142 synchronize by Julow
July 9, 2024 09:54 9m 50s Julow:path_references
Julow:path_references
July 9, 2024 09:54 9m 50s
Path-references lookup to pages Build #2154: Pull request #1150 synchronize by Julow
July 9, 2024 09:52 10m 7s Julow:path_references_lookup
Julow:path_references_lookup
July 9, 2024 09:52 10m 7s
Parsing of path-references to pages and modules Build #2153: Pull request #1142 synchronize by Julow
July 9, 2024 09:42 9m 52s Julow:path_references
Julow:path_references
July 9, 2024 09:42 9m 52s
update CHANGES.md Build #2152: Commit 934fe01 pushed by panglesd
July 8, 2024 14:54 10m 9s master
master
July 8, 2024 14:54 10m 9s
line editing for odoc.mld Build #2151: Pull request #1155 synchronize by christinerose
July 8, 2024 14:49 10m 17s editing_odoc.mld
editing_odoc.mld
July 8, 2024 14:49 10m 17s
Add a marshalled output for index generation Build #2150: Pull request #1084 synchronize by panglesd
July 8, 2024 14:36 11m 5s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
July 8, 2024 14:36 11m 5s
Add a marshalled output for index generation Build #2149: Pull request #1084 synchronize by EmileTrotignon
July 8, 2024 13:54 10m 13s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
July 8, 2024 13:54 10m 13s
Add a marshalled output for index generation Build #2148: Pull request #1084 synchronize by EmileTrotignon
July 8, 2024 12:25 10m 18s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
July 8, 2024 12:25 10m 18s
Add a marshalled output for index generation Build #2147: Pull request #1084 synchronize by EmileTrotignon
July 8, 2024 12:16 9m 52s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
July 8, 2024 12:16 9m 52s
Add a marshalled output for index generation Build #2146: Pull request #1084 synchronize by EmileTrotignon
July 8, 2024 12:05 10m 0s panglesd:search-index-buid-system-friendly
panglesd:search-index-buid-system-friendly
July 8, 2024 12:05 10m 0s
ProTip! You can narrow down the results and go further in time using created:<2024-07-08 or the other filters available.