Skip to content

Actions: ocaml/odoc

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Define resolve_parent to memoize calls to prefix_substitution that were not (Dot cases) Build #1629: Pull request #1033 opened by gpetiot
October 31, 2023 11:03 13m 18s resolve-parent
resolve-parent
October 31, 2023 11:03 13m 18s
Define resolve_parent to memoize calls to prefix_substitution that were not (Dot cases) Check Changelog #55: Pull request #1033 opened by gpetiot
October 31, 2023 11:03 23s resolve-parent
resolve-parent
October 31, 2023 11:03 23s
Add changelog entry for 5.1 fix Build #1628: Commit 62c9d1e pushed by panglesd
October 31, 2023 08:33 10m 40s master
master
October 31, 2023 08:33 10m 40s
Add value and constructor path Build #1627: Pull request #1030 synchronize by panglesd
October 30, 2023 07:29 16m 25s panglesd:value-and-constructor-path
panglesd:value-and-constructor-path
October 30, 2023 07:29 16m 25s
Add value and constructor path Check Changelog #54: Pull request #1030 synchronize by panglesd
October 30, 2023 07:29 16s panglesd:value-and-constructor-path
panglesd:value-and-constructor-path
October 30, 2023 07:29 16s
Search: compatibility with new extension decl id Build #1626: Commit de4d6d8 pushed by jonludlam
October 27, 2023 19:36 16m 17s master
master
October 27, 2023 19:36 16m 17s
Refactor typedtree traverse to use compiler traverse Check Changelog #53: Pull request #1031 synchronize by panglesd
October 27, 2023 14:51 17s panglesd:cherry-picked-refactor-typedtree-traverse
panglesd:cherry-picked-refactor-typedtree-traverse
October 27, 2023 14:51 17s
Refactor typedtree traverse to use compiler traverse Build #1625: Pull request #1031 synchronize by panglesd
October 27, 2023 14:51 12m 3s panglesd:cherry-picked-refactor-typedtree-traverse
panglesd:cherry-picked-refactor-typedtree-traverse
October 27, 2023 14:51 12m 3s
update tyxml constraint Build #1624: Commit 45070fc pushed by panglesd
October 27, 2023 11:34 11m 45s master
master
October 27, 2023 11:34 11m 45s
Update tyxml constraint Check Changelog #52: Pull request #1032 labeled by panglesd
October 27, 2023 09:41 17s panglesd:fix-tyxml-constraint
panglesd:fix-tyxml-constraint
October 27, 2023 09:41 17s
Add value and constructor path Check Changelog #51: Pull request #1030 labeled by panglesd
October 27, 2023 09:16 16s panglesd:value-and-constructor-path
panglesd:value-and-constructor-path
October 27, 2023 09:16 16s
Update tyxml constraint Check Changelog #50: Pull request #1032 opened by panglesd
October 27, 2023 09:16 17s panglesd:fix-tyxml-constraint
panglesd:fix-tyxml-constraint
October 27, 2023 09:16 17s
Update tyxml constraint Build #1623: Pull request #1032 opened by panglesd
October 27, 2023 09:16 10m 39s panglesd:fix-tyxml-constraint
panglesd:fix-tyxml-constraint
October 27, 2023 09:16 10m 39s
Support for search in odoc Build #1622: Pull request #972 synchronize by panglesd
October 27, 2023 09:06 15m 31s panglesd:search-bar2
panglesd:search-bar2
October 27, 2023 09:06 15m 31s
Support for search in odoc Check Changelog #49: Pull request #972 synchronize by panglesd
October 27, 2023 09:06 18s panglesd:search-bar2
panglesd:search-bar2
October 27, 2023 09:06 18s
Refactor typedtree traverse to use compiler traverse Build #1621: Pull request #1031 synchronize by panglesd
October 27, 2023 07:57 11m 7s panglesd:cherry-picked-refactor-typedtree-traverse
panglesd:cherry-picked-refactor-typedtree-traverse
October 27, 2023 07:57 11m 7s
Refactor typedtree traverse to use compiler traverse Check Changelog #48: Pull request #1031 synchronize by panglesd
October 27, 2023 07:57 17s panglesd:cherry-picked-refactor-typedtree-traverse
panglesd:cherry-picked-refactor-typedtree-traverse
October 27, 2023 07:57 17s
Refactor typedtree traverse to use compiler traverse Build #1620: Pull request #1031 synchronize by panglesd
October 27, 2023 07:48 12m 6s panglesd:cherry-picked-refactor-typedtree-traverse
panglesd:cherry-picked-refactor-typedtree-traverse
October 27, 2023 07:48 12m 6s
Refactor typedtree traverse to use compiler traverse Check Changelog #47: Pull request #1031 synchronize by panglesd
October 27, 2023 07:48 15s panglesd:cherry-picked-refactor-typedtree-traverse
panglesd:cherry-picked-refactor-typedtree-traverse
October 27, 2023 07:48 15s
Refactor typedtree traverse to use compiler traverse Check Changelog #46: Pull request #1031 synchronize by panglesd
October 27, 2023 07:41 15s panglesd:cherry-picked-refactor-typedtree-traverse
panglesd:cherry-picked-refactor-typedtree-traverse
October 27, 2023 07:41 15s
Refactor typedtree traverse to use compiler traverse Build #1619: Pull request #1031 synchronize by panglesd
October 27, 2023 07:41 16m 21s panglesd:cherry-picked-refactor-typedtree-traverse
panglesd:cherry-picked-refactor-typedtree-traverse
October 27, 2023 07:41 16m 21s
Refactor typedtree traverse to use compiler traverse Check Changelog #45: Pull request #1031 labeled by panglesd
October 27, 2023 07:38 16s panglesd:cherry-picked-refactor-typedtree-traverse
panglesd:cherry-picked-refactor-typedtree-traverse
October 27, 2023 07:38 16s
Refactor typedtree traverse to use compiler traverse Build #1618: Pull request #1031 opened by panglesd
October 27, 2023 07:00 17m 0s panglesd:cherry-picked-refactor-typedtree-traverse
panglesd:cherry-picked-refactor-typedtree-traverse
October 27, 2023 07:00 17m 0s
Refactor typedtree traverse to use compiler traverse Check Changelog #44: Pull request #1031 opened by panglesd
October 27, 2023 07:00 15s panglesd:cherry-picked-refactor-typedtree-traverse
panglesd:cherry-picked-refactor-typedtree-traverse
October 27, 2023 07:00 15s
Add value and constructor path Check Changelog #43: Pull request #1030 opened by panglesd
October 27, 2023 06:54 17s panglesd:value-and-constructor-path
panglesd:value-and-constructor-path
October 27, 2023 06:54 17s
ProTip! You can narrow down the results and go further in time using created:<2023-10-27 or the other filters available.