Skip to content

Actions: ocaml/odoc

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use a map to memoize looked-up items in signatures Build #1723: Pull request #1049 synchronize by gpetiot
December 6, 2023 11:20 13m 41s optimize-find_in_sig
optimize-find_in_sig
December 6, 2023 11:20 13m 41s
Avoid running the reference when running dune build at the root of the project. Build #1722: Pull request #1052 opened by panglesd
December 6, 2023 11:12 13m 54s panglesd:fix-default-alias
panglesd:fix-default-alias
December 6, 2023 11:12 13m 54s
Avoid running the reference when running dune build at the root of the project. Check Changelog #150: Pull request #1052 opened by panglesd
December 6, 2023 11:12 13s panglesd:fix-default-alias
panglesd:fix-default-alias
December 6, 2023 11:12 13s
Use a map to memoize looked-up items in signatures Build #1721: Pull request #1049 synchronize by gpetiot
December 6, 2023 11:02 10m 55s optimize-find_in_sig
optimize-find_in_sig
December 6, 2023 11:02 10m 55s
Use a map to memoize looked-up items in signatures Check Changelog #149: Pull request #1049 synchronize by gpetiot
December 6, 2023 11:02 16s optimize-find_in_sig
optimize-find_in_sig
December 6, 2023 11:02 16s
Allow to omit parent type in constructor reference. Build #1720: Pull request #933 synchronize by panglesd
December 6, 2023 09:06 14m 2s panglesd:fix_447
panglesd:fix_447
December 6, 2023 09:06 14m 2s
Allow to omit parent type in constructor reference. Check Changelog #148: Pull request #933 synchronize by panglesd
December 6, 2023 09:06 18s panglesd:fix_447
panglesd:fix_447
December 6, 2023 09:06 18s
Allow to omit parent type in constructor reference. Check Changelog #147: Pull request #933 synchronize by panglesd
December 6, 2023 08:54 15s panglesd:fix_447
panglesd:fix_447
December 6, 2023 08:54 15s
Allow to omit parent type in constructor reference. Build #1719: Pull request #933 synchronize by panglesd
December 6, 2023 08:54 7m 21s panglesd:fix_447
panglesd:fix_447
December 6, 2023 08:54 7m 21s
fixes anchor appearing bellow search bar Build #1718: Pull request #1051 synchronize by EmileTrotignon
December 5, 2023 16:53 7m 58s EmileTrotignon:anchor_scroll
EmileTrotignon:anchor_scroll
December 5, 2023 16:53 7m 58s
fixes anchor appearing bellow search bar Check Changelog #146: Pull request #1051 synchronize by EmileTrotignon
December 5, 2023 16:53 17s EmileTrotignon:anchor_scroll
EmileTrotignon:anchor_scroll
December 5, 2023 16:53 17s
Merge pull request #999 from EmileTrotignon/sidebar-middle Build #1717: Commit 99bcd17 pushed by Julow
December 5, 2023 16:32 7m 50s master
master
December 5, 2023 16:32 7m 50s
Move the sidebar to be stuck to left of the content Build #1716: Pull request #999 synchronize by EmileTrotignon
December 5, 2023 15:44 10m 31s EmileTrotignon:sidebar-middle
EmileTrotignon:sidebar-middle
December 5, 2023 15:44 10m 31s
Move the sidebar to be stuck to left of the content Check Changelog #145: Pull request #999 synchronize by EmileTrotignon
December 5, 2023 15:44 12s EmileTrotignon:sidebar-middle
EmileTrotignon:sidebar-middle
December 5, 2023 15:44 12s
Move the sidebar to be stuck to left of the content Build #1715: Pull request #999 synchronize by EmileTrotignon
December 5, 2023 15:37 9m 17s EmileTrotignon:sidebar-middle
EmileTrotignon:sidebar-middle
December 5, 2023 15:37 9m 17s
Move the sidebar to be stuck to left of the content Check Changelog #144: Pull request #999 synchronize by EmileTrotignon
December 5, 2023 15:37 14s EmileTrotignon:sidebar-middle
EmileTrotignon:sidebar-middle
December 5, 2023 15:37 14s
Move the sidebar to be stuck to left of the content Check Changelog #143: Pull request #999 synchronize by EmileTrotignon
December 5, 2023 15:34 19s EmileTrotignon:sidebar-middle
EmileTrotignon:sidebar-middle
December 5, 2023 15:34 19s
Move the sidebar to be stuck to left of the content Build #1714: Pull request #999 synchronize by EmileTrotignon
December 5, 2023 15:34 8m 45s EmileTrotignon:sidebar-middle
EmileTrotignon:sidebar-middle
December 5, 2023 15:34 8m 45s
fixes anchor appearing bellow search bar Check Changelog #142: Pull request #1051 labeled by EmileTrotignon
December 5, 2023 15:30 23s EmileTrotignon:anchor_scroll
EmileTrotignon:anchor_scroll
December 5, 2023 15:30 23s
fixes anchor appearing bellow search bar Check Changelog #141: Pull request #1051 opened by EmileTrotignon
December 5, 2023 15:30 16s EmileTrotignon:anchor_scroll
EmileTrotignon:anchor_scroll
December 5, 2023 15:30 16s
fixes anchor appearing bellow search bar Build #1713: Pull request #1051 opened by EmileTrotignon
December 5, 2023 15:30 13m 30s EmileTrotignon:anchor_scroll
EmileTrotignon:anchor_scroll
December 5, 2023 15:30 13m 30s
Merge pull request #1046 from Julow/fix-crash-functor-alias Build #1712: Commit 653bec9 pushed by Julow
December 5, 2023 15:27 13m 49s master
master
December 5, 2023 15:27 13m 49s
Warn when a table is not closed Build #1711: Pull request #1050 synchronize by Julow
December 5, 2023 15:25 13m 59s lubegasimon:gh-issue-1043
lubegasimon:gh-issue-1043
December 5, 2023 15:25 13m 59s
Warn when a table is not closed Check Changelog #140: Pull request #1050 synchronize by Julow
December 5, 2023 15:25 20s lubegasimon:gh-issue-1043
lubegasimon:gh-issue-1043
December 5, 2023 15:25 20s
Fix crash on functor returning an alias Build #1710: Pull request #1046 synchronize by Julow
December 5, 2023 14:56 10m 59s Julow:fix-crash-functor-alias
Julow:fix-crash-functor-alias
December 5, 2023 14:56 10m 59s
ProTip! You can narrow down the results and go further in time using created:<2023-12-05 or the other filters available.