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 Check Changelog #163: Pull request #1049 synchronize by gpetiot
December 7, 2023 09:37 15s optimize-find_in_sig
optimize-find_in_sig
December 7, 2023 09:37 15s
Use a map to memoize looked-up items in signatures Build #1735: Pull request #1049 synchronize by gpetiot
December 7, 2023 04:17 11m 27s optimize-find_in_sig
optimize-find_in_sig
December 7, 2023 04:17 11m 27s
Use a map to memoize looked-up items in signatures Check Changelog #162: Pull request #1049 synchronize by gpetiot
December 7, 2023 04:17 13s optimize-find_in_sig
optimize-find_in_sig
December 7, 2023 04:17 13s
Benchmark: Add all core dependencies Check Changelog #161: Pull request #1053 labeled by jonludlam
December 6, 2023 17:13 21s jonludlam:all-docs
jonludlam:all-docs
December 6, 2023 17:13 21s
Benchmark: Add all core dependencies Check Changelog #160: Pull request #1053 opened by jonludlam
December 6, 2023 17:11 38s jonludlam:all-docs
jonludlam:all-docs
December 6, 2023 17:11 38s
Benchmark: Add all core dependencies Build #1734: Pull request #1053 opened by jonludlam
December 6, 2023 17:11 9m 52s jonludlam:all-docs
jonludlam:all-docs
December 6, 2023 17:11 9m 52s
Remove odoc_html_support_files.ml (#1044) Build #1733: Commit d00f696 pushed by Julow
December 6, 2023 16:01 13m 31s master
master
December 6, 2023 16:01 13m 31s
Remove odoc_html_support_files.ml Check Changelog #159: Pull request #1044 synchronize by EmileTrotignon
December 6, 2023 15:34 15s EmileTrotignon:no-support-files
EmileTrotignon:no-support-files
December 6, 2023 15:34 15s
Remove odoc_html_support_files.ml Build #1732: Pull request #1044 synchronize by EmileTrotignon
December 6, 2023 15:34 14m 50s EmileTrotignon:no-support-files
EmileTrotignon:no-support-files
December 6, 2023 15:34 14m 50s
Remove odoc_html_support_files.ml Check Changelog #158: Pull request #1044 labeled by EmileTrotignon
December 6, 2023 15:31 12s EmileTrotignon:no-support-files
EmileTrotignon:no-support-files
December 6, 2023 15:31 12s
Remove odoc_html_support_files.ml Build #1731: Pull request #1044 synchronize by EmileTrotignon
December 6, 2023 15:14 13m 12s EmileTrotignon:no-support-files
EmileTrotignon:no-support-files
December 6, 2023 15:14 13m 12s
Remove odoc_html_support_files.ml Check Changelog #157: Pull request #1044 synchronize by EmileTrotignon
December 6, 2023 15:14 15s EmileTrotignon:no-support-files
EmileTrotignon:no-support-files
December 6, 2023 15:14 15s
Remove odoc_html_support_files.ml Check Changelog #156: Pull request #1044 synchronize by EmileTrotignon
December 6, 2023 15:13 16s EmileTrotignon:no-support-files
EmileTrotignon:no-support-files
December 6, 2023 15:13 16s
Remove odoc_html_support_files.ml Build #1730: Pull request #1044 synchronize by EmileTrotignon
December 6, 2023 15:13 10m 53s EmileTrotignon:no-support-files
EmileTrotignon:no-support-files
December 6, 2023 15:13 10m 53s
Collect occurrences information Check Changelog #155: Pull request #976 synchronize by panglesd
December 6, 2023 15:02 16s panglesd:occurrences-in-odoc
panglesd:occurrences-in-odoc
December 6, 2023 15:02 16s
Collect occurrences information Build #1729: Pull request #976 synchronize by panglesd
December 6, 2023 15:02 11m 24s panglesd:occurrences-in-odoc
panglesd:occurrences-in-odoc
December 6, 2023 15:02 11m 24s
fixes anchor appearing bellow search bar Build #1728: Pull request #1051 synchronize by EmileTrotignon
December 6, 2023 14:31 13m 48s EmileTrotignon:anchor_scroll
EmileTrotignon:anchor_scroll
December 6, 2023 14:31 13m 48s
fixes anchor appearing bellow search bar Check Changelog #154: Pull request #1051 synchronize by EmileTrotignon
December 6, 2023 14:31 15s EmileTrotignon:anchor_scroll
EmileTrotignon:anchor_scroll
December 6, 2023 14:31 15s
Merge pull request #933 from panglesd/fix_447 Build #1727: Commit 5a054ff pushed by Julow
December 6, 2023 13:53 11m 50s master
master
December 6, 2023 13:53 11m 50s
Warn when a list or table is not closed (#1050) Build #1726: Commit df92865 pushed by Julow
December 6, 2023 13:38 10m 7s master
master
December 6, 2023 13:38 10m 7s
Fix default alias Build #1725: Commit 71cd0b2 pushed by jonludlam
December 6, 2023 13:17 9m 25s master
master
December 6, 2023 13:17 9m 25s
Avoid running the reference when running dune build at the root of the project. Check Changelog #153: Pull request #1052 labeled by panglesd
December 6, 2023 11:39 17s panglesd:fix-default-alias
panglesd:fix-default-alias
December 6, 2023 11:39 17s
Avoid running the reference when running dune build at the root of the project. Check Changelog #152: Pull request #1052 synchronize by panglesd
December 6, 2023 11:38 15s panglesd:fix-default-alias
panglesd:fix-default-alias
December 6, 2023 11:38 15s
Avoid running the reference when running dune build at the root of the project. Build #1724: Pull request #1052 synchronize by panglesd
December 6, 2023 11:38 10m 13s panglesd:fix-default-alias
panglesd:fix-default-alias
December 6, 2023 11:38 10m 13s
Use a map to memoize looked-up items in signatures Check Changelog #151: Pull request #1049 synchronize by gpetiot
December 6, 2023 11:20 14s optimize-find_in_sig
optimize-find_in_sig
December 6, 2023 11:20 14s
ProTip! You can narrow down the results and go further in time using created:<2023-12-06 or the other filters available.