Skip to content

Actions: ocaml/odoc

Actions

Check Changelog

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
changelog.yml
752 workflow runs
752 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a test for the size of module type of expressions Check Changelog #102: Pull request #1042 opened by jonludlam
November 21, 2023 17:06 3m 8s jonludlam:module-type-of-test
jonludlam:module-type-of-test
November 21, 2023 17:06 3m 8s
Define resolve_parent to memoize calls to prefix_substitution that were not (Dot cases) Check Changelog #101: Pull request #1033 labeled by Julow
November 17, 2023 10:00 17s resolve-parent
resolve-parent
November 17, 2023 10:00 17s
Define resolve_parent to memoize calls to prefix_substitution that were not (Dot cases) Check Changelog #100: Pull request #1033 synchronize by Julow
November 17, 2023 10:00 16s resolve-parent
resolve-parent
November 17, 2023 10:00 16s
Define resolve_parent to memoize calls to prefix_substitution that were not (Dot cases) Check Changelog #99: Pull request #1033 synchronize by Julow
November 17, 2023 09:59 20s resolve-parent
resolve-parent
November 17, 2023 09:59 20s
Add instrumentation with landmarks Check Changelog #98: Pull request #1041 labeled by Julow
November 17, 2023 09:49 19s Julow:landmarks
Julow:landmarks
November 17, 2023 09:49 19s
Add instrumentation with landmarks Check Changelog #97: Pull request #1041 opened by Julow
November 17, 2023 09:48 16s Julow:landmarks
Julow:landmarks
November 17, 2023 09:48 16s
Improve performances of Find functions Check Changelog #96: Pull request #1039 synchronize by Julow
November 16, 2023 16:05 23s Julow:cached-find-map
Julow:cached-find-map
November 16, 2023 16:05 23s
Fix and show benchmark errors Check Changelog #95: Pull request #1040 synchronize by Julow
November 16, 2023 15:49 22s Julow:bench-dep-error
Julow:bench-dep-error
November 16, 2023 15:49 22s
Fix and show benchmark errors Check Changelog #94: Pull request #1040 labeled by Julow
November 16, 2023 11:55 16s Julow:bench-dep-error
Julow:bench-dep-error
November 16, 2023 11:55 16s
Improve performances of Find functions Check Changelog #93: Pull request #1039 synchronize by Julow
November 16, 2023 11:55 14s Julow:cached-find-map
Julow:cached-find-map
November 16, 2023 11:55 14s
Fix and show benchmark errors Check Changelog #92: Pull request #1040 opened by Julow
November 16, 2023 11:54 16s Julow:bench-dep-error
Julow:bench-dep-error
November 16, 2023 11:54 16s
Improve performances of Find functions Check Changelog #91: Pull request #1039 opened by Julow
November 15, 2023 16:00 20s Julow:cached-find-map
Julow:cached-find-map
November 15, 2023 16:00 20s
Move the sidebar to be stuck to left of the content Check Changelog #90: Pull request #999 synchronize by EmileTrotignon
November 13, 2023 13:50 17s EmileTrotignon:sidebar-middle
EmileTrotignon:sidebar-middle
November 13, 2023 13:50 17s
Move the sidebar to be stuck to left of the content Check Changelog #89: Pull request #999 synchronize by EmileTrotignon
November 13, 2023 13:47 16s EmileTrotignon:sidebar-middle
EmileTrotignon:sidebar-middle
November 13, 2023 13:47 16s
Doc: parent-child convention for installed packages Check Changelog #88: Pull request #1011 labeled by Julow
November 10, 2023 11:48 17s Julow:parent_child_convention
Julow:parent_child_convention
November 10, 2023 11:48 17s
Doc: parent-child convention for installed packages Check Changelog #87: Pull request #1011 synchronize by Julow
November 10, 2023 11:43 15s Julow:parent_child_convention
Julow:parent_child_convention
November 10, 2023 11:43 15s
Don't compute the unused list removed_items in Tools.fragmap Check Changelog #86: Pull request #1036 labeled by Julow
November 10, 2023 09:32 21s optimize-apply_sig_map
optimize-apply_sig_map
November 10, 2023 09:32 21s
Don't compute the unused list removed_items in Tools.fragmap Check Changelog #85: Pull request #1036 synchronize by gpetiot
November 10, 2023 03:19 35s optimize-apply_sig_map
optimize-apply_sig_map
November 10, 2023 03:19 35s
Don't compute the unused list removed_items in Tools.fragmap Check Changelog #84: Pull request #1036 opened by gpetiot
November 10, 2023 03:19 13s optimize-apply_sig_map
optimize-apply_sig_map
November 10, 2023 03:19 13s
Refactor typedtree traverse to use compiler traverse Check Changelog #83: Pull request #1031 synchronize by jonludlam
November 7, 2023 14:18 17s panglesd:cherry-picked-refactor-typedtree-traverse
panglesd:cherry-picked-refactor-typedtree-traverse
November 7, 2023 14:18 17s
Style: Remove font fallback to Helvetica, Arial Check Changelog #82: Pull request #1028 synchronize by Julow
November 7, 2023 10:57 17s Julow:font-fallback-ua
Julow:font-fallback-ua
November 7, 2023 10:57 17s
Preformatted elements fallback to UA monospace Check Changelog #81: Pull request #967 synchronize by Julow
November 7, 2023 10:01 13s toastal:preformatted-font-fallback
toastal:preformatted-font-fallback
November 7, 2023 10:01 13s
Define resolve_parent to memoize calls to prefix_substitution that were not (Dot cases) Check Changelog #80: Pull request #1033 synchronize by gpetiot
November 6, 2023 02:43 17s resolve-parent
resolve-parent
November 6, 2023 02:43 17s
Define resolve_parent to memoize calls to prefix_substitution that were not (Dot cases) Check Changelog #79: Pull request #1033 synchronize by gpetiot
November 6, 2023 02:39 18s resolve-parent
resolve-parent
November 6, 2023 02:39 18s
Collect occurrences information Check Changelog #78: Pull request #976 synchronize by panglesd
November 3, 2023 17:40 16s panglesd:occurrences-in-odoc
panglesd:occurrences-in-odoc
November 3, 2023 17:40 16s
ProTip! You can narrow down the results and go further in time using created:<2023-11-03 or the other filters available.